- Docente: Massimiliano Garagnani
- Credits: 6
- SSD: INF/01
- Language: Italian
- Teaching Mode: In-person learning (entirely or partially)
- Campus: Bologna
- Corso: First cycle degree programme (L) in Philosophy (cod. 9216)
-
from Apr 13, 2026 to May 21, 2026
Learning outcomes
The student will know propositional calculus and first order logic. He will be able to write and understand logical propositions and to verify them.
Course contents
The first part of the course will cover concepts and formalisms of propositional calculus, syllogistic logic, and predicate/first-order logic.
Based on these notions, the second part will briefly introduce the fundamental concepts of information, entropy, and computability (Turing machines), and knowledge representation techniques in the context of automated reasoning.
In the third and final part, modal/epistemic logic and action logic will be covered, leading up to the fundamental constructs of imperative programming.
During the lab sessions, specific computational platforms will be used to learn, test, and apply the theoretical concepts covered in class.
Readings/Bibliography
The following textbook can be used as a general reference for the course:
- Joan van Benthem et al. (2016) "Logic in Action" (New edition)
available HERE (in particular, Chapters 2-6).
Additional educational materials (including slides and exercises) will be made available on the "Virtuale" web-pages of the course.
Teaching methods
The course will be delivered as theory lectures (2 hours each) complemented by weekly laboratory exercises, aimed at putting into practice and consolidating the concepts learned in class.
Regular attendance in classes and labs is highly recommended.
Assessment methods
The exam will consist of a two-hour written test, comprising 10 questions (5 multiple-choice and 5 practical exercises) on concepts and methods covered during the course.
During the test, consulting books, notes, or digital devices will not be permitted; any violation will result in the exam being voided.
Each of the 10 questions can earn from 0 up to 3 points; the final grade is obtained by adding together all the points thus obtained. The minimum score required for passing is 18 points.
Students with disabilities or DSA
Students with disabilities or specific learning disorders (DSA) are entitled to special accommodations according to their condition, following evaluation by the University Service for Students with Disabilities and DSA.
Please do not contact the course coordinator directly, but get in touch with the Service to schedule an appointment. The Service will determine which accommodations - if any - are appropriate.
More information available at:
https://site.unibo.it/studenti-con-disabilita-e-dsa/it/per-studenti
Teaching tools
Any additional teaching materials (slides and other supplementary materials) will be made available on the Virtuale platform.
Office hours
See the website of Massimiliano Garagnani