1. Home
  2. Education
  3. Degree programme courses
  4. Mathematical Logic

Mathematical Logic

A.Y. 2024/2025
6
Max ECTS
48
Overall hours
SSD
MAT/01
Language
English
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.
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 semester

Lessons timetable

Assessment methods: Esame
Assessment result: voto verbalizzato in trentesimi

Exams calendar

Single course

This course can be attended as a single course.

Take a single course
Course syllabus and organization

Single session

Responsible
Aguzzoli Stefano
Lesson period
First semester
Course syllabus
The course consists in the study of the theoretical foundations of the automated deduction techniques in predicate logic, and other computer science applications. The first part of the course introduces propositional logic: syntax, semantics, compactness theorem, resolution, refutational completeness theorem for the resolution principle, Davis-Putnam procedure and DPLL. The second part of the course introduces First-order Logic: syntax, semantics, L-structures and models, prenex normal form, Skolemisation, conjunctive normal form. Herbrand's Theorem. Substitutions and Unifications. Calculus of Lifted Resolution. Limitative theorems (Church, Godel).
Prerequisites for admission
None.
Teaching methods
Class lessons.
Teaching Resources
· Michael Huth , Mark Ryan. Logic in Computer Science: modelling and reasoning about systems (2nd edition), Cambridge University Press, 2004.
· Mordechai Ben-Ari: Mathematical Logic for Computer Science, 3rd Edition. Springer, 2012.

Web site: https://homes.di.unimi.it/aguzzoli/mathlogic.html
Assessment methods and Criteria
The exam is an oral examination. During the exam, the consultation of texts or notes is not allowed. The evaluation parameters include: knowledge of the course topics and logical reasoning skills. In order to pass the exam the score must be equal or above 18/30. The maximum score is 30/30 with laude.
MAT/01 - MATHEMATICAL LOGIC - University credits: 6
Lessons: 48 hours
Professor: Aguzzoli Stefano
Shifts:
Turno
Professor: Aguzzoli Stefano
Educational website(s)
Mathematical Logic (a.a. 2024/25)
Professor(s)
Aguzzoli Stefano
Web site
Reception:
on appointment
room 4010 via Celoria 18