Mathematical Logic
A.Y. 2025/2026
Learning objectives
The main purpose of the course is to provide the basic knowledge and reasoning skills of Mathematical Logic and its applications to
Computer Science.
Computer Science.
Expected learning outcomes
The student should acquire the ability to model and solve simple logical problems exploiting the techniques presented in the course. Moreover, the student should be able to apply logic techniques to the resolution of specific Computer Science's problems.
Lesson period: First four month period
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 four month period
MAT/01 - MATHEMATICAL LOGIC - University credits: 6
Lessons: 48 hours
Professor:
Aguzzoli Stefano
Shifts:
Turno
Professor:
Aguzzoli StefanoProfessor(s)