Propositional logic. First order logic. Elements of set theory.
To consolidate, also by considering the historical point of view, the knowledge of the relationship between Logic and Set Theory.
Ordinal and cardinal transfinite numbers. Proofs in Mathematics: history and examples. Formal Languages. Propositional language and metatheorems. The formalization of Arithmetics. Axiomatic Set Theory.
Lecture notes distributed by the teacher.
Lessons will begin on Thursday 1 October at 10.15 in room 15, face to face and online (https://meet.google.com/fgc-kjtz-amf).
Lecture notes by the teacher: