None
Solid skills in logical-deductive reasoning in general and mastery of basic concepts and techniques of symbolic logic.
Full course (12 credits)
attending students A. Varzi, J. Nolt, D. Rohatyn. "Logic", second edition, limited to the following chapters: 1, 3 (excluding section 3.7), 5 and 6.
Non-attending students:
personalised course agreed with the professor.
Lectures with slides distributed weekly by mail to all students. Use of the Moodle platform. Homework exercises. Tests during the course preceded by simulation and followed by a correction in the classroom. Two hours per week devoted to laboratory exercises.
Oral exam:
Attending students: discussion of tests (compitini). The students must be able to recognize their mistakes and have fully understood the reasons why they are errors. General questions (testing the understanding of the learned notions)
Non-attending students: Oral exam on the agreed texts.