Home
separator
University of Trento
Fall 2015

LESSONS

Official Lectures Time and Location:
Tuesdays 11:00 - 13:00, Faculty of Science, room A104
Thursdays 09:00 - 11:00, Faculty of Science, room A104

Please always check latest news in home page!
There might be some variations.


SYLLABUS

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

Date
Lecturer
Topic
Slides
14/09
Fausto
 Introduction
17/09
Fausto
 Set theory
24/09
Fausto
 Proof methods
28/09
Fausto
 Propositional Logic: Introduction
29/09
Fausto
 Propositional Logic: Formalization
01/10
Fausto
 Propositional Logic: Truth Valuation
01/10
Mattia
 Propositional Logic: Exercises
06/10
Fausto
 Propositional Logic: Hilbert-style reasoning
08/10
Fausto
 Propositional Logic: Tableaux
13/10
Mattia
 Propositional Logic: Exercises
20/10
Fausto
 Propositional Logic: Tableaux
27/10
Fausto
 Propositional Logic: Decision procedures
29/10
Mattia
 Propositional Logic: Exercises
03/11
Mattia
 Propositional Logic: Exercises
06/11
Midterm exam
10/11
Fausto
 First Order Logic: Formalization
12/11
Fausto
 First Order Logic: Formalization (cont.)
17/11
Fausto
 First Order Logic in relation with Propositional Logic
19/11
Fausto
 First Order Logic: Reasoning
24/11
Fausto
 Modal Logic Introduction
01/12
Fausto
 Modal Logic K and more
03/12
Fausto
 Modal Logic K and more (cont.)  
10/12
Mattia
 Exercises: Discussion of the results of the exam
15/12
Mattia
 Exercises
17/12
Mattia
 Exercises  
       
separator
University of Trento - Master in Computer Science