CS 20a. 3-0-6 Theory of computation
This term is devoted to establishing a foundation for the formal study of computation. This foundation consists of tools from mathematics such as set theory, logic, and graph theory, and concepts from theoretical computer science, such as formal languages, abstract machines, problem transformations, and computational complexity. Concurrent with these topics, we will study functional programming in OCaml.