Advanced Topics in Computer Science (236605) WS 2009/10

Slides of the lectures

• Lecture 1 (18. 10. 2009) . (Minor corrections added 1.11.2009)
• Lecture 2 (25. 10. 2009) . (Minor corrections added 1.11.2009)
• Homework for Lectures 1 and 2 .
• Lecture 3 ( minor corrections: 8. 11. 2009) .
• Lecture 4 (minor corrections: 15. 11. 2009) .
• Lecture 5 (revised 19. 11. 2009) .
• Lecture 6 (19. 11. 2009) .
• Lecture 7 (9. 12. 2009, revised) .
• Lecture 8 (10. 12. 2009 revised) .
  No slides of the alternative proof of Schuetzenberger's theorem and Buechi's theorem.
• Lecture 9 (10. 12. 2009 new) .
• Lecture 10 (20. 12. 2009 new) .
• Lecture 11 (revised again 02. 01. 2010) .
• Lecture 12 (02. 01. 2010) .
  No slides for Translation Schemes.
• Lecture 13 (11. 01. 2010) .
  Full paper: Algorithmic uses of the Feferman-Vaught Theorem.
  Templates: All the files needed to produce lecture 13.
• Lecture 14 . History and results on the spectrum problem.

Lecture notes from Spring 2005 (236601)