CS20a Course Overview

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.

The links at the left are for navigating the site. For current homework and laboratory assignments, visit the Assignments page. For important class announcements, visit the Announcements page. During the term, we'll be posting examples of excellent student work on the Pearls page. For software tools, including a dowloadable release of the OCaml compiler, visit the Links page. If you have a question, you should first look at the FAQ; if your question is not answered there, you can ask the instructor or one of the TAs listed on the People page. You should also check the Mailing List frequently for course information and announcements.