Computer Science

"General goals: The objective of the course is to introduce students to the fundamental results and methods of Mathematical Logic with a special attention to their applications in Computer Science. Specific goals: The specific objective of the course is twofold. In the first place the course is meant to offer a rigorous knoweldge and an ability to apply those methods and results of Mathematical Logic that have numerous applications in many areas of Computer Science. In the second place the aim is to endow the student with a set of fundamental tools in the perspective of doing active research in theoretical Computer Science. Knowledge and understanding: The course aims at endowing the student with a rigorous in-depth knowledge of the course topics through the study of poofs and the production of rigorous arguments in homework assignments. Particular attention is devoted to conceptual motivation, rigorous proofs and applicability of results and methods. Applying knowledge and understanding: The methods of Mathematical Logic play a fundamental role in many areas of Computer Science such as Complexity Theory, Database Theory, Artifical Intelligence. The aim of the course is to stimulate in the student the ability to apply the methods and the results in various contexts of Computer Science. Critical and judgmental abilities: Active participation to the course is encouraged. Autonomous judgement is exercised through homework assignments and problem-solving tasks. Communication skills: The student has the option to give a class presentation of a result as final exam in the form of an academic scientific talk. Learning ability: The analysis and formalization methods acquired during the course find application in different areas of Computer Science. The formalization and problem-solving exercise during the course reinforces the ability to learn and acquire new skills."