Home
separator
University of Trento
Spring 2011

LESSONS

Official Lectures Time and Location:
Tuesday 8:30 - 10:30, Faculty of Science, Povo1, room A107.
Thursday 14:30 - 16:30, Faculty of Science, Povo1, room A202.

Please always check latest news in home page!
There might be some variations.


SYLLABIUS

Slides and handouts will be put online some days after each lesson.

Date
Room
Lecturer
Topic
Slides
22-02
A107
FAUSTO
Introduction: Data, Knowledge and Representation
24-02
A202
FAUSTO
Introduction: Data, Knowledge and Representation
01-03
A107
ENZO
Modeling
03-03
A202
ENZO
Logical Modeling
08-03
A107
ENZO
Propositional Logic: syntax and semantics
10-03
A202
ENZO
Propositional Logic: reasoning
15-03
A107
FAUSTO
Propositional Logic: reasoning
22-03
A107
ENZO
Propositional Logic: reasoning
24-03
A202
ENZO
Exercises: modeling and languages
29-03
A107
FAUSTO
ClassL: syntax and semantics
31-03
A202
ENZO
Exercises: Propositional Logic
05-04
A107
ENZO
ClassL: reasoning with a TBox
07-04
A202
FAUSTO
ClassL: reasoning with a TBox
12-04
A107
ENZO
ClassL: reasoning with a ABox
19-04
A107
ENZO
ClassL: exercises
28-04
Mid-term exam
03-05
A107
FAUSTO
ClassL: applications (part I)
05-05
A202
FAUSTO
ClassL: applications (part II)
12-05
A202
FAUSTO
First Order Logic
17-05
A107
ENZO
Solutions of the mid-term exam
19-05
A202
FAUSTO
First Order Logic
24-05
A107
ENZO
Query languages
25-05
A207
FAUSTO
Modal logic: syntax and semantics
31-05
A107
ENZO
Exercises: First Order Logic
         
separator
University of Trento - Master in Computer Science