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
Prerequisites
Courses to be used as requirements (required and/or recommended)
Courses required: None
Courses recommended: None
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
Hours for laboratory: 0
Hours for laboratory-field/practice: 0
Seminars (hours): 0
Stages (hours): 0
Intermediate examinations (hours): 0
Further information
Attendance of lectures, practice and lab:
Not mandatory
Teaching tools: additional handouts dealing with the notion of “computation step”
Office hours:
Monday 12:30-14:30
Contact:
Viale Morgagni, 67/a - 50134 Firenze
Phone: 055 4237111 - 4237130
Fax: 055 4237165
E-mail: daniele.mundici@unifi.it
Web: http://web.math.unifi.it/users/mundici/