1. Mathematical Logics Course introduction

2. Forehead  Lecturers: Fausto Giunchiglia, Vincenzo Maltese  Scheduling: Tuesday 8:30-10:30, room A107 Thursday 14:00-16:00, room A202  Reception times: on appointment  Course website: http://dit.unitn.it/~ldkr/ml2011/  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