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

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)