This calendar is tentative and will be updated throughout the semester.
|
Week |
Day |
Date |
Topic |
Sections |
HW |
| 1 | Monday | 8/27/07 | Introductions, Propositional Logic | L0 1.1 | |
| Wednesday | 8/29/07 | Propositional Logic | 1.2,1.3 | p.31 1,2,4 | |
| Friday | 8/31/07 | Propositional Logic:Metatheory | 1.4 | ||
| 2 | Monday | 9/3/07 | Labor Day, No Class | ||
| Wednesday | 9/5/07 | Other systems | |||
| Friday | 9/7/07 | Other systems | |||
| 3 | Monday | 9/10/07 | Other systems | LO 1.5.2, 1.5.3 | |
| Wednesday | 9/12/07 | Predicate Logic | |||
| Friday | 9/14/07 | Predicate Logic | |||
| 4 | Monday | 9/17/07 | Interpretation, Models, Validity | ||
| Wednesday | 9/19/07 | Correctness | Propositional Logic Project Due | ||
| Friday | 9/21/07 | Correctness and adequcy | LO 2.7 | ||
| 5 | Monday | 9/24/07 | Completeness | What Ch. 2 | |
| Wednesday | 9/26/07 | Recursive functions | What 4 | ||
| Friday | 9/28/07 | Recursive functions | Predicate Logic Projects Out | ||
| 6 | Monday | 10/1/07 | Incompleteness | What 5 | |
| Wednesday | 10/3/07 | Incompleteness | |||
| Friday | 10/5/07 | Incompleteness | |||
| 7 | Monday | 10/8/07 | Review | Predicate Logic Projects Due | |
| Wednesday | 10/10/07 | Midterm Exam | |||
| Friday | 10/12/07 | Fall Break | |||
| 8 | Monday | 10/15/07 | Extensions | LO 3 | |
| Wednesday | 10/17/07 | Extensions | |||
| Friday | 10/18/07 | Second order | |||
| 9 | Monday | 10/22/07 | Modal | ||
| Wednesday | 10/24/07 | Modal | LO 4 | ||
| Friday | 10/26/07 | Modal | |||
| 10 | Monday | 10/29/07 | Modal | ||
| Wednesday | 10/31/07 | Modal | |||
| Friday | 11/2/07 | Many Valued | LO 5 | ||
| 11 | Monday | 11/5/07 | Many Valued | ||
| Wednesday | 11/7/07 | Many Valued | |||
| Friday | 11/9/07 | Many Valued | |||
| 12 | Monday | 11/12/07 | Fuzzy | LO 6, Notes | |
| Wednesday | 11/148/07 | Fuzzy | |||
| Friday | 11/16/07 | Fuzzy | |||
| 13 | Monday | 11/19/07 | Final Projects discussion | ||
| Wednesday | 11/21/07 | Thanksgiving break | |||
| Friday | 11/23/07 | Thanksgiving break | |||
| 14 | Monday | 11/26/07 | Categorical Logic | Notes | |
| Wednesday | 11/28/07 | Categorical Logic | |||
| Friday | 11/30/07 | Categorical Logic | Final Project Paper Due | ||
| 15 | Monday | 12/3/07 | Project Presentations | ||
| Wednesday | 12/5/07 | Project Presentations | |||
| Friday | 12/7/07 | Review | Last Class | ||
| Finals | Thursday | 12/13/07 | Final Exam | 10:15-12:15 |