Solid skills in logical-deductive reasoning in general and mastery of basic concepts and techniques of symbolic logic.
Full course (12 credits)
A. Varzi, J. Nolt, D. Rohatyn. "Logic", second edition, limited to the following chapters: 1, 3 (excluding section 3.7), 5 and 6.
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.
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)
Oral exam on the agreed texts.