Lecture Notes of Eike Best (in German)

• Die Folien zum Modul Modelchecking (Wintersemester 2007/2008) stehen HIER: (Modelchecking WS 2007/08, Stand Oktober 2007)
• Die Folien zum Modul Theoretische Informatik I (Sommersemester 2007) stehen HIER: (Theoretische Informatik I SoSe 2007, Stand Juli 2007)
• Das Skript zum Modul Theoretische Informatik II (Wintersemester 2005/2006) steht HIER: (Theoretische Informatik II WS 2005/2006, Stand Februar 2006)
• Das Skript zum Modul Automatentheorie und Logik (Wintersemester 2004/2005) steht hier: (Automatentheorie und Logik, Mitte September 2005, .pdf, 870K)
• Das Skript zum Modul Kryptographie (Sommersemester 2004) steht hier:
  (Kryptographie 2004, Stand Mai-September 2005)
  Die Vorlesung wurde im Wintersemester 2005/2006 von Elke Wilkeit unter dem Titel Kryptologie gehalten.
• Skript zum Modul Grundlagen der Theoretischen Informatik (Wintersemester 2002/2003, also alte Version!).
  (Kap. 1-5 und Anhang A, 14.10.2002, .ps, 944K) (1. Korrekturliste dazu, Stand 1.11.2002, .pdf) (2. Korrekturliste dazu, Stand 19.11.2002, .pdf) (Kap. 6, 5.12.2002, .ps, 250K) (Kap. 7, 12.12.2002, .ps, 280K) (Kap. 8, 14.1.2003, .ps, 290K) (Folien der 1. Vorlesungswoche, 14.-18.10.2002, .pdf, 115K) (Folien der 2. Vorlesungswoche, 21.-25.10.2002, .pdf, 135K) (Folien der 3. Vorlesungswoche, 29.10.-1.11.2002, .pdf, 117K) (Folien der 4. Vorlesungswoche, 4.11.-8.11.2002, .pdf, 97K)
• Vorlesung Automatentheorie und Logik (Sommersemester 2002 und WS 1999/2000)
  (Kap. 1-6, 17.10.2000, .ps.gz, 350K) (Korrekturliste dazu, Stand 3.5.2002, .txt)
• Skript Betriebssysteme im Modul Grundlagen der Praktischen Informatik (WS 2001/2002) und in der Vorlesung Grundlagen der Praktischen Informatik (SS 2001)
  (12.8.2002, .ps.tar.Z, 415KB)
  (13.1.2002, .ps.tar.Z, 3.5MB (ACHTUNG GROSS))
• Vorlesung Effiziente Algorithmen (WS 1999/2000)
  (Kap. 0-3, 24.4.2000, .ps.gz, 160K)
• Vorlesung Komplexität (WS 1996/1997 und WS 1998/1999)
  (Komplexitätstheorie 96/97 und 98/99, .ps.gz, 201K)
• Vorlesung GTI (WS 1997/1998)
  (Grundlagen der Theoretischen Informatik 97/98, .ps.gz, 343K)
• Vorlesung Theorie und Spiele (WS 1998/1999 und SS 2000) -- unvollständige und unkorrigierte Version.
  (Kap. 1, .ps) (Kap. 2, .ps) (Kap. 3, .ps) (Kap. 4, .ps)