Announcements

Handouts

Draft: Course Information
Draft: Rough Schedule
Keith's Notes on Mathematical Prerequisites
Problem Set Policies

Assignments

Problem Set 1

Practice Problems

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