Mathematical Logic
A.Y. 2025/2026
Learning objectives
The course has the purpose of introducing the fundamental principles of rational inquiry, by means of the formal approach provided by mathematical logic, both at the propositional and predicative levels.
Expected learning outcomes
The student should be able to formalise rational arguments via the formal proof techniques imparted in the course. Moreover, she should be able to construct counterexamples for fallacious arguments.
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
Single session
Responsible
Lesson period
Second semester
INF/01 - INFORMATICS - University credits: 6
Laboratories: 32 hours
Lessons: 32 hours
Lessons: 32 hours
Shifts:
Turno
Professor:
Aguzzoli StefanoTurno C
Professor:
Fiorentini CamilloProfessor(s)