Logic Course (70014) - Exercises


This page contains contact information, exercises for the Logic course taught by Prof. Enrico Franconi, and optional supplementary material.


General Information

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
Uni: http://www.inf.unibz.it/krdb
Home: www.meteck.org
Blog: keet blog
tel (office): 04710 16127
email: {surname}@inf.unibz.it


Exercises
Handouts of the exercises will be made available online after the lab. Schedule (subject to changes): The course slides of the lectures are online here; those summaries are useful as quick reference when doing the exercises.


Supplementary material

- 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.