Alan's Skill: Theoretical Computability

  • Competency
    Expert
  • Description

    The formal study of the mathematical limits of computation, focusing on what can and cannot be solved by algorithmic models such as automata and abstract machines.

Evidence Performed using Theoretical Computability