Home
separator
University of Trento
Spring 2012

LESSONS

Official Lectures Time and Location:
Tuesday 10:30 - 12:30, Faculty of Science, Povo1, room A213 till 6th March, room A222 from 13th March to the end of the course.
Thursday 14:30 - 16:30, Faculty of Science, Povo1, room A107.

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
Lecturer
Topic
Slides
23-02
FAUSTO
Introduction: Data, Knowledge and Representation
28-02
ENZO
Logical modeling
01-03
FAUSTO
Logical modeling
06-03
ENZO
Exercises: Logical modeling and languages
08-03
ENZO
Propositional logic: syntax and semantics
13-03
ENZO
Propositional logic: entailment and logical implication
 
15-03
ENZO
Propositional logic: reasoning, normal forms, calcusus
20-03
ENZO
Propositional logic: reasoning, DPLL algorithm
 
22-03
ENZO
Propositional logic: exercises
03-04
ENZO
Logic of Classes: syntax and semantics
05-04
ENZO
Logic of Classes: reasoning with TBox
12-04
ENZO
Logic of Classes: reasoning with ABox
17-04
ENZO
Logic of Classes: exercises
24-04
ENZO
Logic of Classes: applications (part I)
26-04
ENZO
Logic of Classes: applications (part II)
03-05
ENZO
Midterm exam
07-05
ENZO
First Order Logic: syntax
10-05
ENZO
First Order Logic: semantics
15-05
ENZO
First Order Logic: reasoning
17-05
ENZO
First Order Logic: exercises
22-05
ENZO
First Order Logic: query languages
12-06
ENZO
Second midterm & final exam
separator
University of Trento - Master in Computer Science