Lehrangebot der Abteilung
Algebraische und logische Grundlagen der Informatik

Wintersemester 2008/2009                                                      

• Diskrete Strukturen (M. Lohrey)

• Strukturelle Komplexitätstheorie (M. Lohrey)

• Problemseminar Datenkompression (M. Lohrey)

• Problemseminar Komplexitätstheorie ( C. Diem, M. Lohrey)

Sommersemester 2008                                                      

• Automaten und Sprachen (M. Lohrey)

• Spieltheoretische Methoden in der Logik (M. Lohrey)

• Verifikation unendlicher Systeme (M. Lohrey)

Wintersemester 2007/2008                                                      

• Logik (M. Lohrey)

• Strukturelle Komplexitätstheorie (M. Lohrey)

• Problemseminar Datenkompression (M. Lohrey)

• Problemseminar Komplexitätstheorie (M. Lohrey)

Sommersemester 2007                                                      

• Diplomanden/Doktorandenseminar (M.Droste, H.Herre, M. Lohrey)
  • Seminar: mittwochs, 09.15-10.45 Uhr, JG 4-42

• Algorithmische Methoden in Algebra u. Logik (Dr. D. Kirsten)
  • Vorlesung: dienstags, 13.15 - 14.45 Uhr, Brühl, R 912
  • Übung: dienstags, 17.15 - 18.45 Uhr, Brühl, R 608
  • Vorlesung: mittwochs, 15.15 - 16.45 Uhr, Brühl, R 710