Announcements

Handouts

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

Assignments

Problem Set 1
Problem Set 2
Problem Set 3
Problem Set 4
Problem Set 5

Practice Problems

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

Resources

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

Lectures

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)