C. Maria (Marijke) Keet |
Research |
|||||||||
|
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):
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. |
||||||||||
|
For comments: |
||||||||||