Calculus. Basic algebra.
The course aims at introducing the student to the formalism of logic (syntax, semantics, formal deduction) and to the basic notions and results of model theory.
Introduction to propositional and first order logic. Introduction to model theory. Introduction to the incompleteness theorems.
Lecture notes distributed by the teacher.
H. B. Enderton. A Mathematical Introduction to Logic. Harcourt/Academic Press, San Diego
Written and oral exercises. Lectures.
Final oral exam with questions regarding theorems and proofs from the course. The student is also requested to be able to solve practical exercises on topics from the course. No intermediate test is foreseen.