Course Information

This course is designed to present the basics of Mathematical Logic. The following topics will be covered:

* Propositional Logic

* Semantics of Propositional Logic

* Formal Deduction for Propositional Logic

* Completeness Theorem for Propositional Logic

* First Order Logic

* Semantics of First Order Logic

* Formal deduction for First Order Logic

* Completeness Theorem for First Order Logic

* Compactness Theorem for First Order Logic

* Some Model Theory (not covered this semester)

* Löwenheim-Skolem Theorems (not covered this semester)

* Theories and their Axiomatizations (not covered this semester)

* Quantifier Elimination (not covered this semester)

* Gödel's Incompleteness Theorem (only briefly)


Lecture notes are HERE


HW problems are HERE