Course : Mathematical Logic

Propositional logic (connectives and truth tables, complete sets of connectives, propositional calculus). First-order logic (first-order languages and structures, satisfiability and truth, first-order theories and properties, soundness and completeness theorems, compactness theorem and applications). Basic notions of model theory and examples of structures.