| Description |
Models of computation: finite-state machines, stack machines, Turing
machines, Church's thesis; Computability theory: halting problem and
unsolvability, introductory recursion theory; Complexity theory: complexity
measures, time and space hierarchy, NP-complete problems. |