You are here:

73149 - Logic for Informatics (1)

Academic Year 2025/2026

                
                        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)

                                    Course Timetable
                                
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 the concepts and formalism of propositional calculus, syllogistic logic, and predicate logic / first-order logic.

In the second part, the concepts acquired in the first will be extended and used to address the principles of modal / epistemic logic and action logic. The fundamental constructs of imperative programming will also be covered, along with key aspects of the concepts of information, entropy / uncertainty, and computability.

Some computational platforms will be used to learn, test, and apply the theoretical concepts learned 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.

Assessment methods

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

Office hours

See the website of Massimiliano Garagnani