Mathematical Logic 1

A.Y. 2024/2025
9
Max ECTS
73
Overall hours
SSD
MAT/01
Language
Italian
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.
Single course

This course can be attended as a single course.

Course syllabus and organization
Educational website(s)
Professor(s)
Reception:
On appointment
Mathematics Department - Office 2070
Reception:
By appointment
Room 2107
We use a selection of our own and third-party cookies on the pages of this website: Essential cookies, which are required in order to use the website; functional cookies, which provide better easy of use when using the website; performance cookies, which we use to generate aggregated data on website use and statistics; and marketing cookies, which are used to display relevant content and advertising. If you choose "ACCEPT ALL", you consent to the use of all cookies. You can accept and reject individual cookie types and revoke your consent for the future at any time at "Settings".