Home
separator
University of Trento
Fall 2013

LESSONS

Official Lectures Time and Location:
Wednesday 11:00 - 13:00, Faculty of Science, room A108 POVO1 (new building)
Thursday 11:00 - 13:00, Faculty of Science, room A108 POVO1 (new building)

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
18/09
Fausto
Data, Knowledge and Representation
19/09
Chiara
 Set theory
25/09
Chiara
 Proof methods
26/09
Luciano
 Propositional Logic: syntax and semantics
02/10
Chiara
 Propositional Logic: formalization
03/10
Chiara
 Propositional Logic: formalization (cont.) with exercises
09/10
Chiara
 Propositional Logic: Hilbert-style Reasoning
10/10
Chiara
 Propositional Logic: Tableau Reasoning
16/10
Luciano
 Propositional Logic: Decision Procedures
17/10
Luciano
 Propositional Logic: Minisat
23/10
Enzo
 Midterm exam
30/10
Chiara
 Solutions of the midterm
31/10
Fausto
 First Order Logic: syntax and semantics
06/11
Luciano
 First Order Logic: syntax and semantics
  
07/11
Luciano
 First Order Logic: tableaux
13/11
Luciano
 First Order Logic: Soundness and Completeness of tableaux reasoning
14/11
Luciano
 First Order Logic: Exercises
20/11
Luciano
 First Order Logic: Model theory
21/11
Luciano
 Resolution and Unification
27/11
Luciano
 LAB on Resolution, unification, Prover9 and Mace4
28/11
Chiara
 Modal Logics: introduction
05/12
Luciano
 Modal Logics: K, T, 4, 5, and more
13/12
Luciano
 Modal Logics: final slides
       
separator
University of Trento - Master in Computer Science