Mathematical Logic
A.Y. 2026/2027
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
Lesson period
Second semester
INFO-01/A - Informatics - University credits: 6
Laboratories: 84 hours
Lessons: 32 hours
Lessons: 32 hours
Professors:
Aguzzoli Stefano, Fiorentini Camillo
Shifts:
Professor:
Aguzzoli Stefano
Turno 1
Professor:
Aguzzoli StefanoTurno 2
Professor:
Fiorentini CamilloProfessor(s)