The "Notes" readings refer to our course reader, available here:
This schedule updates each week. For an overview of the whole quarter, refer to the Syllabus Handout:
The schedule is subject to change by the course staff at any time.
Week  Monday  Wednesday  Friday 

1 
June 24th 00: Introduction, Set TheoryRead: Syllabus, Notes Ch. 1
Slides

June 28th 02: Indirect ProofsRead: Notes Ch. 2
Slides PSet 0 due PSet 1 out 

2 
July 1st 03: Propositional Logic
Slides

July 3rd 04: FirstOrder Logic I 
July 5th 05: FirstOrder Logic IIRead: Handouts
Slides
PSet 1 due PSet 2 out 
3 
July 10th 07: Binary Relations IIRead: Handouts, Notes Ch. 6
Slides 
July 12th 08: FunctionsRead: Notes Ch. 6
Slides PSet 2 due PSet 3 out 

4 
July 19th 11: Induction IIRead: Notes Ch. 3, Handouts
Slides 

5  
6  
7 
August 7th 19: Unsolvable ProblemsRead: Sipser 4.14.2, 6.1
Slides 

8 
August 12th Final Exam Review Session 
August 16th FINAL EXAM!
7:0010:00PM
