Mathematical Logic 1
A.Y. 2024/2025
Learning objectives
The course aims to introduce the essential topics of Mathematical Logic, thus allowing the students to learn the relationships between the syntactic part of Logic, concerning deductive calculus, and the semantic part, concerning mathematical models.
Expected learning outcomes
At the end of the course students should be able to know the relationships between logical consequence and semantical truth, know how to do deductive calculations, know and apply the theorems of completeness and compactness, recognize recursive functions, know the relationship between recursion and logical representability, know the main theories of arithmetic and understand Gödel's limititative results.
Lesson period: First semester
Assessment methods: Esame
Assessment result: voto verbalizzato in trentesimi
Single course
This course cannot be attended as a single course. Please check our list of single courses to find the ones available for enrolment.
Course syllabus and organization
Single session
Responsible
Lesson period
First semester
Logica matematica 1 (prima parte)
MAT/01 - MATHEMATICAL LOGIC - University credits: 6
Practicals: 12 hours
Lessons: 35 hours
Lessons: 35 hours
Professors:
Ghilardi Silvio, Luperi Baglini Lorenzo
Logica matematica 1 (seconda parte)
MAT/01 - MATHEMATICAL LOGIC - University credits: 3
Practicals: 12 hours
Lessons: 14 hours
Lessons: 14 hours
Professor:
Luperi Baglini Lorenzo
Professor(s)