Regular Languages; Context-Free Languages; The Church-Turing Thesis; Decidability; Reducibility; The Recursion Theorem; Time Complexity; Space Complexity; Provable Intractability; Advanced Topics: Approximation Algorithms, Alteration, Cryptography, Parallel Computing.
