Math 69
Mathematical Logic (honors)
Last updated January 16, 2017 12:06:23 EST

Home General Information Syllabus HW Assignments Documents

Syllabus

The following is a tentative (and partial) syllabus for the course. We will cover much of Chapters 1-3 in the textbook. This page will be updated irregularly.
On the other hand, the weekly syllabus contained in the Homework Assignments page will always be accurate.


Lectures Sections in Text Brief Description
1/4 Chapter 1 Sentential logic: formulas, induction, truth tables
1/6 Chapter 1 Truth assignments
1/9 Chapter 1 Compactness
1/11 Chapter 1 Deductions, soundness, and completeness
1/13 Chapter 1 Effectiveness
1/16 MLK Day; no class  
1/17 (x-hour) Section 1.2 Language of first-order logic
1/18 Handout Mathematical structures
1/20 Handout Mathematical structures
1/23 Handout Mathematical structures
1/23 First exam available  
1/25    
1/27    
1/30    
1/30 First exam due  
2/1    
2/3    
2/6    
2/8    
2/10    
2/13    
2/13 Second exam available  
2/15    
2/17    
2/20    
2/20 Second exam due  
2/22    
2/24    
2/27    
3/1    
3/3    
3/6    
3/8    
3/13 Final paper due  


Marcia Groszek
Last updated January 16, 2017 12:06:23 EST