2006–2007 Logic Laboratory
Nota Bene
Please, note that this page is no longer regularly updated.
This web page is for the laboratory of logic 2006/2007 and is maintained by the course teaching assistant, R. Gennari.
Visit also the lecture web page, maintained by the lecturer, R. Bernardi.
Mandatory exercises
Day by day
— October 6: a crash course in naive set theory (slides).
— October 13: lecture class instead of lab.
— October 20: propositional logic (exercises).
— October 27 (NB: 9:30–11:30 in E321): propositional logic (exercises).
— November 3: propositional logic (exercises).
— November 10: propositional logic (exercises).
— November 17: first-order logic (exercises).
— November 24: first-order logic (exercises).
— December 1 (NB: 9:30–11:30): first-order logic (exercises).
— December 15: mid-term laboratory. Please, e-mail your questions concerning the course program for the mid-term laboratory by December 13.
— December 22: lecture class instead of lab.
— January 12: no class.
— January 19: advanced exercises.
Recap
Some selected propositional logic exercises.
Some selected first-order logic exercises.
Some advanced exercises.
Optional material
Howto
The material below is optional—it is not part of the exercise program. It consists of suggested readings related to the exercise program only.
Propositional logic learning support
Support tools for verifying your propositional logic exercises (thanks to W. Nutt):http://www.cee.hw.ac.uk/~nutt/Proplog/.
Naive set theory
Set Theory for Mathematicians (Chapter 1), F. William Lawvere and Robert Rosebrugh, Cambdrige U. Press (available in the UniBZ library, SK 150 L425 +2).
Naive Set Theory, Paul R. Halmos, Springer (available in the UniBZ library, SK 150).
L'Infinito, Lucio Lombardo Radice, Editori Riuniti (Italian only).
Last update: January 24 2007.
