# 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)*

For more information:

# Exam Dates:

Midterm 1: November 2, 2022 (Average is 20.9)

Midterm 2: December 7, 2022 (Average is 14.5)

Final: January 3, 2023; 13-16