Recursive, r.e., Ptime, and Logspace classes. Nondeterminism, parallelism, alternation, and Boolean circuits. Reducibility and completeness.