Draft: Course Information
Draft: Rough Schedule
Keith's Notes on Mathematical Prerequisites
Problem Set Policies
Guide to First-Order Logic Translations
Guide to Negating Formulas


Problem Set 1
Problem Set 2
Problem Set 3
Problem Set 4
Problem Set 5
Problem Set 6(tex)
Problem Set 7(tex)

Practice Problems

Take a look at the linke to the old website for loads of practice material.


Office Hours Schedule
Keith's Course Reader
Lecture Videos
Course website from last quarter (this contains lots of great resourses)


01: Introduction and Set Theory (printout)
02: Introduction to Proofs
03: Proof by Contradiction and Propositional Logic
04 part 1: First Order Logic part 1
04 part 2: First Order Logic part 2
05: First Order Logic part 3
06 part 1: Functions
06 part 2: Cardinality
07: Relations
08: Graphs
09: Graphs and Induction
10: Strong Induction
There are no slides for lecture 11.
12: DFA's
13: NFA's (Keith's slides on NFA's are here and here)
14: Closure Properties
15: Regular Expressions
16: Context-Free Grammars
17: Turing Machines
18: Computability
19: Reductions
20: More Models of Computation
21: P vs NP