1. Mathematical Logics
Course introduction 1

2. Forehead Lecturers: Fausto Giunchiglia, Vincenzo Maltese
Scheduling: Tuesday 10:30-12:30, room A213
Thursday 14:30-16:30, room A213
Reception times: on appointment
Course website:
Objective: Learn how to use logics in practice
Contents: Modeling, PL, ClassL, FOL, Modal logic
Exam policy & grading: written exams (midterm + final)

3. Purpose Logic as a tool: Data and Knowledge Representation
What is the “right” representation language given the purpose we have?
Natural language (NL) [e.g. for specifications]
Entity-Relationship (ER) [e.g. for abstraction]
UML [e.g. to model classes and functions]
XML [e.g. to exchange data] …
Kinds of logic: PL, Class-L, FOL, DL
They can be used for representation and reasoning