Home | General Information | Syllabus | HW Assignments | Documents |
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 July 15, 2022 11:51:53 EDT