This page contains contact information, exercises for the Logic course taught by Prof. Enrico Franconi, and optional supplementary material.
Aim: Students will practice with the topics discussed during the lectures. Exercises will be done by hand and software and will be held in Via Sarnesi 1, Room D003 (16 Nov. in E221), from 01.10.2007 to 26.01.2008 on Fridays 10.30-11.30 (changes can be found in the RIS calendar and Franconi's teaching calendar).
Contact information: Marijke Keet
Office hours: by prior arrangement via e-mail
KRDB Research Centre
Faculty of Computer Science
University of Bozen-Bolzano
Piazza Domenicani 3, room 223
Blog: keet blog
tel (office): 04710 16127
Handouts of the exercises will be made available online after the lab. Schedule (subject to changes):
- 19-10: Propositional Logic Lab 1 -- Introduction and foundations.
- 26-10: Propositional Logic Lab 2 -- More foundations: truth tables, entailment, and equivalence. see e.g. the online truth table generator
- 9-11: Propositional Logic Lab 3 -- Integrating the material
- 16-11: Propositional Logic Lab 4 -- Tableaux
- 23-11: First Order Logic Lab 1 -- Basics
- 30-11: First Order Logic Lab 2 -- More basics
- 7-12: First Order Logic Lab 3 -- NL, equivalences
- 14-12: MIDTERM, 10:30am, in room D003 (i.e., during the usual lab exercise hour) midterm grades
- 21-12: First Order Logic Lab 4 -- evaluation midterm (mainly), equivalences and introduction tableaux
- 11-1: First Order Logic Lab 5 -- Tableaux. Download Tarski's World (LPL Software) from Franconi's wiki (login). More exercises can be found in the book "Language, Proof and Logic" by Jon Barwise and John Etchemendy. CSLI Publications, ISBN 157586374X available in the library, or pass by my office (POS, room 220)
- 18-1 starts at 8.30am: Exam practice and recap FOL -- Recap, FOL puzzles, Tarski's World, PL game, mock exam practice
- More introduction on propositional logic, predicate logic, rules of inference, with exercises and instant answers: Introduction to logic, by Stefan Waner and Steven R. Costenoble.
- An online book in Italian: Corso di Logica per Informatica 2004-05, by Gabriele Lolli. - Propositional Logic Learning Support. This website contains tools and exercises designed to support students learning propositional logic. (thanks to Werner Nutt)
- More exercises, from last year's lab (thanks to Rosella Gennari)
- If you like this course, you also may be interested in these follow-up courses: Non-classical Logics, Computational Logic, Formal Methods, and Knowledge Representation (Description Logics), among others.