Computability and Definability, 236331

Winter 2015-16
Lectures and announcements

(Under construction, last update December 17, 2015)

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