MATHEMATICAL LOGIC

Academic year
2019/2020 Syllabus of previous years
Official course title
LOGICA DELLA MATEMATICA SP.
Course code
FM0369 (AF:311997 AR:169004)
Modality
On campus classes
ECTS credits
6
Degree level
Master's Degree Programme (DM270)
Educational sector code
M-FIL/02
Period
2nd Term
Course year
1
Where
VENEZIA
Introduction to mathematical logic and model theory.
Compactness theorem and consequences, in particular Löwenheim–Skolem theorem.
Goedel's theorems.
A knowledge of some fundamental themes of formal logic and set theory.
A course in mathematic or in logic.
The mathematical language.
The propositional connectives and the quantifiers.
The classical propositional logic.
Historical remarks.
First-order logic: syntax and semantics.
Model theory.
Theories, completeness and compactenss theorems.
Löwenheim–Skolem's theorem.
Goedel's theorems.
The students will by evaluated on the basis of their participation to the discussions in classroom. They will write papers.
Standard lectures.
Italian
This programme is provisional and there could still be changes in its contents.
Last update of the programme: 12/11/2019