Mathematical Logic

The course has the main purpose to provide the basic knowledge and reasoning skills of mathematical logic. The first part of the course has the aim of describing the main concepts of classical logic: propositional logic and first-order logic. The second part provides a brief introduction to some applications of logic to computer science.

The principal skills acquired are the logical reasoning, the knowledge of classical logic and the knowledge of some computer science applications.