Home
separator
University of Trento
Spring 2013

LESSONS

Official Lectures Time and Location:
Tuesday 10:30 - 12:30, Faculty of Science, Povo1, room A222.
Thursday 13:30 - 15:30, Faculty of Science, Povo1, room A108.

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
21-02
LUCIANO
Course description + Introduction to logic
22-02
CHIARA
 PL: Syntax and semantics
26-02
ENZO
 Introduction to algebra
05-03
CHIARA
 PL: Propositional reasoning
07-03
ENZO
 PL: Exercises on Syntax and semantics
12-03
CHIARA
 PL: Formalization
14-03
LUCIANO
 PL: decision procedures
18-03
ENZO
 PL: Exercises on reasoning
26-03
PL: midterm exam
04-04
CHIARA
 FOL: Formalization
09-04
CHIARA
 FOL: Reasoning
11-04
ENZO
 FOL: Exercises on Syntax and semantics
16-04
CHIARA
 FOL: Reasoning (cont.)
18-04
ENZO & LUCIANO
 FOL: Exercises on Syntax and semantics (cont.) + natural deduction
23-04
LUCIANO
 FOL: model theory
02-05
CHIARA
 FOL: exercises
07-05
FOL: midterm exam
09-05
ENZO
 Propositional DL
14-05
ENZO
 Propositional DL (TBOX)
16-05
ENZO
 Propositional DL (ABOX) + exercises
21-05
ENZO
 DL: syntax, semantics and tableaux
23-05
CHIARA
 ALC to more complex DL languages
28-05
ENZO
 DL exercises
04-06
DL: midterm exam
separator
University of Trento - Master in Computer Science