separator
University of Trento
Spring 2010

LESSONS

Official Lectures Time and Location:
Tuesday 8:30 - 10:30, Faculty of Science, room 205.
Thursday 14:00 - 16:00, Faculty of Science, room 206.

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
18-02
206
ENZO
Introduction: Data, Knowledge and Representation
23-02
205
FAUSTO
Languages for Representation
25-02
206
FAUSTO
Languages for Representation
2-03
205
FAUSTO
Modeling the World
9-03
206
ENZO
EXERCISES (modeling)
9-03
206
ENZO
Propositional Logic: Syntax and semantics
9-03
206
ENZO
EXERCISES (languages)
23-03
206
ENZO
Propositional Logic: Reasoning
26-03
206
ENZO
Propositional Logic: Reasoning
29-03
103
ENZO
EXERCISES (PL)
15-04
206
FAUSTO
The logic of classes: Syntax and semantics
15-04
206
FAUSTO
The logic of classes: TBox
20-04
206
FAUSTO
The logic of classes: TBox
22-04
206
ENZO
The logic of classes: ABox + EXERCISES
27-04
206
ENZO
EXERCISES (PL AND CLASSL)
29-04
MID TERM EXAM
04-05
206
FAUSTO
The logic of classes: Applications
06-05
206
FAUSTO
The logic of classes: Applications
11-05
206
FAUSTO
First Order Logic: Predicate Semantics
13-05
206
ENZO
FOL + Exercisies
18-05
206
ENZO
First Order Logic: Querying DB + Exercises
20-05
206
FAUSTO
Modal Logic
25-05
206
ENZO/FAUSTO
Modal Logic Exercises + Next year's courses
08-06
FINAL EXAM
11-06
ORAL EXAM (on request)
separator
University of Trento - Master in Computer Science