| Lectures |
Sections in Text |
Brief Description |
| 9/21 |
|
The Parallel Postulate |
| 9/23 |
|
Syntax |
| 9/26 |
|
Quantifiers |
| 9/28 |
1.2 and 1.3 |
Languages and Terms |
| 9/30 |
1.4 |
Induction |
| 10/3 |
1.5 |
Sentences |
| 10/5 |
1.6 |
Structures |
| 10/5 |
1.6 and 1.7 |
Truth in a Structure |
| 10/7 |
1.8 |
Substitutions |
| 10/10 |
1.8 and 1.9 |
Logical Implications |
| 10/12 |
2.2 |
Deductions |
| 10/14 |
|
Propositional Logic and Truth Tables |
| 10/17 |
2.3 |
Logical Axioms |
| 10/19 |
2.4 |
Rules of Inference |
| 10/24 |
2.5 and 2.6 |
The Soundness Theorem |
| 10/26 |
2.7 |
Properties of our Deductive System |
| 10/28 |
|
Exam |
| 10/31 |
2.9 |
Nonlogical Axioms |
| 11/2 |
2.9 |
Meta Theorems |
| 11/4 |
|
Cardinality |
| 11/7 |
3.2 |
The Completeness Theorem |
| 11/9 |
3.2 |
The Completeness Theorem |
| 11/11 |
3.2 |
The Completeness Theorem |
| 11/14 |
3.3 |
The Compactness Theorem |
| 11/18 |
|
Finite Model Theory |
| 11/21 |
|
Review |
| 12/4 |
|
Final Exam, 08:00 - 11:00 |