| HW1 |
Sept 10 |
Sept 29 |
Sentential logic: Translations, truth-table assessment, tautologies,
contradictions, tautological consequence and equivalence, formal proofs
in the system, informal proofs about the system, induction. |
| HW2 |
Sept 29 |
Oct 20 |
Sentential metalogic: Connectives, disjunctive and conjunctive normal
forms, circuits, soundness, completeness, compactness, decidability. |
| HW3 |
Oct 29 |
Nov 10 |
Predicate logic: translations, truth in a model, equivalence and
ordering relations, formal proofs in the system. |
| HW4 |
Nov 12 |
Dec 3 |
Predicate metalogic: soundness, completeness, compactness,
categoricality, definability, Löwenheim-Skolem |
| HW5 |
Dec 3 |
Dec 15 |
Natural numbers and incompleteness, undecidability |