You are here:

73149 - Logic for Informatics (1)

Docente: Massimiliano Garagnani
Credits: 6
SSD: INF/01
Language: Italian

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 course contents will be shortly published by the teacher to whom the teaching activity will be formally granted after completion of the ongoing procedures

Office hours

See the website of Massimiliano Garagnani