Advanced logic

A.Y. 2014/2015
6
Max ECTS
48
Overall hours
Language
Italian
Learning objectives
The aim of the course is twofold: on one side, background knowledge in mathematical logic will be strengthened and on the other side more advanced topics in the area of applications of logic to computer science will be presented.
Course syllabus and organization

Linea Milano

Linea Milano
Lesson period
First semester
Syllabus
The syllabus is shared with the following courses:
- [F94-121](https://www.unimi.it/en/ugov/of/af2015000f94-121)
Lessons: 48 hours