Mathematical Logic
A.Y. 2018/2019
Learning objectives
Knowledge of the fundamental concepts of logic. Syntax and semantics.
Soundness and completeness. Proof techniques and countermodel building.
Induction.
Soundness and completeness. Proof techniques and countermodel building.
Induction.
Expected learning outcomes
Undefined
Lesson period: Second 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
Milan
Responsible
Lesson period
Second semester
ATTENDING STUDENTS
Course syllabus
NON-ATTENDING STUDENTS
The mathematical logic course for the first degree is meant as an introductory course to logic, and to its relationship with language and concept formalisation.
The course is naturally articulated into two main sections: propositional logic and first-order logic. Furthermore, the subject of induction principle is investigated, in particular in the context of Peano arithmetic.
Syntax and semantics of logic are introduced, both at the propositional and the first-order level, and the use of a natural-deduction calculus.
Special attention is dedicated to the effective use of logic, starting from translation and formalisation of natural-language sentences.
The course is supplemented with lab class exercises, where a dedicated software is used.
The Logic lab course is supplementary, as a lab class exercise course, to the Mathematical Logic course. Classes use a dedicated software that provides the students with tools to test comprehension of semantics concepts, and to write formal proofs in a natural-deduction calculus.
The course is naturally articulated into two main sections: propositional logic and first-order logic. Furthermore, the subject of induction principle is investigated, in particular in the context of Peano arithmetic.
Syntax and semantics of logic are introduced, both at the propositional and the first-order level, and the use of a natural-deduction calculus.
Special attention is dedicated to the effective use of logic, starting from translation and formalisation of natural-language sentences.
The course is supplemented with lab class exercises, where a dedicated software is used.
The Logic lab course is supplementary, as a lab class exercise course, to the Mathematical Logic course. Classes use a dedicated software that provides the students with tools to test comprehension of semantics concepts, and to write formal proofs in a natural-deduction calculus.
Course syllabus
The mathematical logic course for the first degree is meant as an introductory course to logic, and to its relationship with language and concept formalisation.
The course is naturally articulated into two main sections: propositional logic and first-order logic. Furthermore, the subject of induction principle is investigated, in particular in the context of Peano arithmetic.
Syntax and semantics of logic are introduced, both at the propositional and the first-order level, and the use of a natural-deduction calculus.
Special attention is dedicated to the effective use of logic, starting from translation and formalisation of natural-language sentences.
The course is supplemented with lab class exercises, where a dedicated software is used.
The Logic lab course is supplementary, as a lab class exercise course, to the Mathematical Logic course. Classes use a dedicated software that provides the students with tools to test comprehension of semantics concepts, and to write formal proofs in a natural-deduction calculus.
The course is naturally articulated into two main sections: propositional logic and first-order logic. Furthermore, the subject of induction principle is investigated, in particular in the context of Peano arithmetic.
Syntax and semantics of logic are introduced, both at the propositional and the first-order level, and the use of a natural-deduction calculus.
Special attention is dedicated to the effective use of logic, starting from translation and formalisation of natural-language sentences.
The course is supplemented with lab class exercises, where a dedicated software is used.
The Logic lab course is supplementary, as a lab class exercise course, to the Mathematical Logic course. Classes use a dedicated software that provides the students with tools to test comprehension of semantics concepts, and to write formal proofs in a natural-deduction calculus.
INF/01 - INFORMATICS
MAT/01 - MATHEMATICAL LOGIC
MAT/01 - MATHEMATICAL LOGIC
Laboratories: 32 hours
Lessons: 32 hours
Lessons: 32 hours
Shifts:
Professor:
Aguzzoli Stefano
Turno A
Professor:
Aguzzoli StefanoTurno B
Professor:
Fiorentini CamilloTurno C
Professor:
Momigliano Alberto Davide AdolfoProfessor(s)