Home
separator
University of Trento
Fall 2014

LESSONS

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

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
16/09
Chiara
 Introduction and set theory
18/09
Fausto
 Introduction to logics
23/09
Chiara
 Proof methods
25/09
Luciano
 Propositional logic
30/09
Luciano
 Propositional logic (cont.)
02/10
Chiara
 Formalization in Propositional Logic
07/10
Chiara
 Hilbert-style Propositional Reasoning
09/10
Chiara
 Propositional Reasoning: Tableaux
14/10
Luciano
 Propositional Reasoning: Decision Procedures
22/10
Luciano
 MiniSAT Exercises
04/11
Luciano
 First order logics: Syntax and Semantics
11/11
Luciano
 First order logics: Reasoning
20/11
Luciano
 First order logics: Soundness and Completeness
25/11
Luciano
 First order logics: Model theory
27/11
Luciano
 First order logics: Resolution and unification
02/12
Luciano
 First order logics: Resolution and unification (cont.)
04/12
Luciano
 Modal Logics
09/12
Chiara
 Modal Logics: K and more
11/12
Luciano

Modal Logics: relation with FOL
Modal Logics: reasoning
16/12
Chiara
 Modal Logics: exercises
       
separator
University of Trento - Master in Computer Science