Home
separator
University of Trento
Fall 2017

LESSONS

Official Lectures Time and Location:
Tuesdays 14:00 - 16:00, Room B107
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
26/09
Fausto
 Course Introduction
26/09
Fausto
 Course Introduction - Set Theory
28/09
Fausto
 Set Theory
03/10
Mattia
 PL - Introduction
05/10
Mattia
 PL - TruthTables - DPLL
10/10
Fausto
 PL - TruthTables - DPLL (cont'd)
10/10
Fausto
 PL - Tableaux
12/10
Fausto
 FOL - Introduction/Formalization
17/10
Fausto
 FOL - Introduction/Formalization (cont'd)
19/10
Fausto
 FOL -Reasoning
24/10
Fausto
 FOL -FOL/PL
24/10
Mattia
 PL - Exercises
26/10
Mattia
 DPLL/FOL - Exercises
30/10
#
 1° Midterm
31/10
Fausto
 ML - Intro
07/11
Fausto
 ML - Intro (cont'd)
14/11
Fausto
 ML - K and More
16/11
Fausto
 ML - Reasoning
23/11
Fausto
 DL - Introduction
28/11
Fausto
 DL - TBOX/ABOX
30/11
Fausto
 DL - Databases
05/12
Fausto
DL - (cont'd)
07/12
Mattia
 ML - Exercises
14/12
Mattia
 DL - Exercises
19/19
#
 #
21/19
#
 2° Midterm
separator
University of Trento - Master in Computer Science