Computability and Definability, 236331
Winter 2015-16
Lectures and announcements
(Under construction, last update December 17, 2015)
Registered students: TBC
-
21. October 2015: Three hours of lecture
Lecture 1:
Motivation and general outlook.
Definability in Second Order Logic.
-
28. October 2015: Two hours of lecture, one hour tirgul.
We continue the material from the slides of Lecture 1.
-
4. November 2015: Two hours of lecture, one hour tirgul.
Lecture 2:
How to prove non-definability?
Ehrenfeucht-Fraisse games and Hintikka formulas
-
11. November 2015
We continue the material from the slides of Lecture 2.
-
18. November 2015
We continue the material from the slides of Lecture 2.
-
15. November 2015
Lecture on Finite Automata:
-
2. December 2015
Lecture on Weighted (Multiplicity) Automata:
(posted with corrections)
Chanuka vacation
-
16. December 2015
We finished Lecture 2 and started
Lecture on the Complexity of Model Checking:
-
23. December 2015
We finish
Lecture on Translation schemes:
-
30. December 2015
Lecture on The Use of Hankel Matrices:
-
6. January 2015
-
13. January 2015
-
20. January 2015