- Introduction
* Mathematical Notions and Terminology
* Definitions, Theorems, and Proofs
- Automata and Languages
* Regular Languages
* Finite Automata
* Nondeterminism
* Regular Expressions
* Nonregular Languages
* Context-Free Languages
- Computability Theory
* Turing Machines
* The Definition of Algorithm
* Decidability
* Reducibility
* The Recursion Theorem
- Complexity Theory
* Time Complexity
* Space Complexity
* Intractability
* Parallel Computation
* Cryptography
