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

Mathematical Logic

A.Y. 2019/2020
6
Max ECTS
56
Overall hours
SSD
INF/01 MAT/01
Language
Italian
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

Lessons timetable

Assessment methods: Esame
Assessment result: voto verbalizzato in trentesimi

Exams calendar

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.

Search a single course
Course syllabus and organization

Single session

Course currently not available
Lesson period
Second semester
INF/01 - INFORMATICS
MAT/01 - MATHEMATICAL LOGIC
Laboratories: 16 hours
Lessons: 40 hours