Mathematical Logic

The main purpose of the course is to provide the basic knowledge and reasoning skills of Mathematical Logic and its applications to
Computer Science.

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.