Mathematical Logic
A.Y. 2019/2020
Learning objectives
The main purpose of the course is to provide the basic knowledge and reasoning skills of Mathematical Logic and its applications to
Computer Science.
Computer Science.
Expected learning outcomes
The student should acquire the ability to model and solve simple logical problems exploiting the techniques presented in the course. Moreover, the student should be able to apply logic techniques to the resolution of specific Computer Science's problems.
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
Course syllabus
The course presents some detailed Logic applications to Computer Science, with the aim of introducing some tools, derived from Logic, to solve problems in Computer Science.
· Brief introduction to propositional and predicate logic.
· SAT problems.
· Binary decision diagrams (OBDDs and ZDDs).
· Logic synthesis.
· Resolution and logic programming.
· Brief introduction to propositional and predicate logic.
· SAT problems.
· Binary decision diagrams (OBDDs and ZDDs).
· Logic synthesis.
· Resolution and logic programming.
Prerequisites for admission
None.
Teaching methods
Class lessons.
Teaching Resources
· Michael Huth , Mark Ryan. Logic in Computer Science: modelling and reasoning about systems (2nd edition), Cambridge University Press, 2004.
· Mordechai Ben-Ari. Mathematical Logic for Computer Science (2nd edition), Springer, 2001.
· Slides and other materials available on the course website.
The course wepage is: https://vcirianiml.ariel.ctu.unimi.it
· Mordechai Ben-Ari. Mathematical Logic for Computer Science (2nd edition), Springer, 2001.
· Slides and other materials available on the course website.
The course wepage is: https://vcirianiml.ariel.ctu.unimi.it
Assessment methods and Criteria
The exam is a written test. The written test requires the solution of application and theoretical exercises, having contents and difficulties similar to those shown in class. During the exam, the consultation of texts or notes is not allowed. The evaluation parameters include: knowledge of the course topics and logical reasoning skills. In oder to pass the exam the score must be equal or above 18/30. The maximum score is 30/30 with laude. The marks will be sent to students by official e-mails, from the verbalization system.
MAT/01 - MATHEMATICAL LOGIC - University credits: 6
Lessons: 48 hours
Professor:
Ciriani Valentina
Shifts:
-
Professor:
Ciriani ValentinaProfessor(s)
Reception:
By appointment only
Dipartimento di Informatica - Via Celoria 18 - 20135 - Milano (MI)