Date
 Homework
 Reading
 Subject

Sep 01 


Intro, syllabus, textbook, policies 
Sep 03 

1.01.1 
A formal language; translation 
Sep 08 

1.2 
truth assignments 
Sep 10 
HW1 

proofs in the language; strategies 
Sep 11 
Last day to add classes 

Sep 15 

1.3 
parsing a wff 
Sep 17 

1.4 
induction and recursion 
Sep 22 


proofs about the language; soundness of proof
system 
Sep 24 

1.5 
connectives 
Sep 25 
Last day to drop classes, change grading option, switch
sections, add independent study 
Sep 29 
HW1 due;
HW2 
1.6 
circuits 
Oct 01 

1.7 
compactness 
Oct 06 


completeness 
Oct 08 

1.7 
effectiveness, enumerability, decidability, etc. 
Oct 13 

2.02.1 
A larger formal language; translation 
Oct 15 

2.2 
truth in a model 
Oct 20 
HW2 due 
2.22.3 
truth in a model 
Oct 22 

2.4 
proofs in the language 
Oct 27 
Research day: no classes 
Oct 29 
HW3 
2.4 
proofs in the language 
Oct 30 
Last day to withdraw from classes 

Nov 03 
HW1 resubmissions due 
2.5 
soundness and completeness; compactness 
Nov 05 

2.5 
soundness and completeness; compactness 
Nov 10 
HW3 due 
2.6 
models of theories 
Nov 12 
HW4 
2.6 
models of theories 
Nov 17 

3.03.1 
natural number arithmetic 
Nov 19 

3.3 
finitely axiomatizable arithmetic 
Nov 24 

3.3 
finitely axiomatizable arithmetic 
Nov 26 
Thanksgiving: no classes 

Dec 01 

3.4 
Gödel numbering 
Dec 03 
HW4 due; HW5 
3.5 
Incompleteness and undecidability 
Dec 08 

3.6 
Recursive functions 
Dec 10 


catch up and review 
Dec 15 
HW5 due 
final exam period, 1:003:00 
