1 Knowledge acquired: The fundamental theorems of logic
Competence acquired: Formal refutations, Proof procedures in propositional and in first-order logic
Skills acquired (at the end of the course): Exit from logic analphabetism which is so common among mathematicians. Ability to write down formal proofs, specifically as graphical objects. Knowledge of Goedel’s completeness and compactness theorem in first order logic with equality
Teaching Methods
Total hours of the course (including the time spent in attending lectures, seminars, private study, examinations, etc...): 225
Hours reserved to private study and other indivual formative activities: 153
Hours for lectures: 72
Further information
Attendance of lectures, practice and lab:
Not mandatory
Teaching tools: additional handouts dealing with the notion of “computation step”