Mathematical Logic

A.Y. 2020/2021
6
Max ECTS
48
Overall hours
SSD
MAT/01
Language
Italian
Learning objectives
The aim of the course is to introduce and deepen the fundamental concepts of propositional and predicative mathematical logic. Fundamental concepts underlying automatic deduction methods will be also explored.
Expected learning outcomes
The student must have understood the concepts and the proofs of the fundamental results of mathematical logic, both at the propositional and at the predicative level.
Further, She must have learnt the theoretical concepts automated deduction techniques are based upon
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
MAT/01 - MATHEMATICAL LOGIC - University credits: 6
Lessons: 48 hours
Professor: Aguzzoli Stefano
Professor(s)
Reception:
on appointment
room 4010 via Celoria 18