General Information | Syllabus | HW Assignments |
Lectures | Readings | Brief Description |
---|---|---|
9/22 | Begin Section 1.1 | The Language of Sentential Logic |
9/24 | Begin Section 1.2 | Truth Assignments |
9/27 | Begin Section 1.3 | A Parsing Algorithm |
9/29 | Begin Section 1.5 | Sentential Connectives |
9/30 (x-hour) | Begin Section 1.7 | Compactness and Effectiveness |
10/1 | Continue Section 1.7 | |
10/4 | Begin Section 2.1 | First-Order Languages |
10/6 | Exam in Class | |
10/8 | No class today | |
10/11 | Continue Section 2.1 | |
10/13 | Begin Section 2.2 | Truth and Models |
10/15 | Continue Section 2.2 | |
10/18 | Continue Section 2.2 | |
10/20 | Begin Section 2.4 | A Deductive Calculus |
10/22 | Continue Section 2.4 | |
10/25 | Continue Section 2.4 | |
10/27 | Exam in Class | |
10/29 | Review | |
11/1 | Review | |
11/3 | Makeup Exam in Class | |
11/5 | Continue Section 2.4 | |
11/8 | Begin Section 2.5 | Soundness and Completeness Theorems |
11/10 | Continue Section 2.5 | |
11/12 | Continue Section 2.5 | |
11/15 | Begin Section 2.6 | Nodels of Theories |
11/17 | Exam in Class | |
11/19 | Continue Section 2.6 | |
11/22 | Continue Section 2.6 | |
11/24 | Thanksgiving Break | |
11/26 | Thanksgiving Break | |
11/29 | Applications of Compactness | |
11/1 | Incompleteness | |
12/5 | In-Class Final Exam | 11:30 AM, 103 Bradley Hall |
12/5 | Take-Home Final Exam | Due 11:30 AM, 103 Bradley Hall |
Marcia J. Groszek
Last updated May 31, 2008 12:24:23 EDT