Home
separator
University of Trento
Fall 2016

LESSONS

Official Lectures Time and Location:
Tuesdays 16:00 - 18:00, Room A103
Thursdays 9:00 - 11:00, Room B107

Please always check latest news in home page!


SYLLABUS

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

Date
Lecturer
Topic
Slides
15/09
Mattia
 Introduction
20/09
Mattia
 Introduction (cont.)
27/09
Fausto
 Logical Modeling
29/09
Fausto
 Set theory
04/10
Fausto
 Set theory (cont.)
06/10
Fausto
 Propositional Logic: Introduction
11/10
Fausto
 Propositional Logic: Formalization
13/10
Fausto
 Propositional Logic: Formalization (cont.)
18/10
Mattia
 Propositional Logic: Exercises
20/10
Fausto
 Propositional Logic: Tableaux
25/10
Fausto
 Propositional Logic: Decision Procedures
27/10
Mattia
 Propositional Logic: Exercises
04/11
#
 First Midterm
07/11
Fausto
 FOL: Introduction
08/11
Fausto
 FOL: Introduction (cont.)
[PDF]
17/11
Fausto
 FOL: Tableaux
18/11
Fausto
 FOL: Tableaux (cont.)
22/11
Fausto
 FOL: Soundness and Completeness
24/11
Fausto
 ML: Introduction
29/11
Fausto
 ML: Introduction (cont.)
01/12
Fausto
 ML: K and more
07/12
Fausto
 ML: Reasoning
14/12
Mattia
 FOL/ML: Exercises
15/12
Mattia
 FOL/ML: Exercises
20/12
#
 Second Midterm
separator
University of Trento - Master in Computer Science