Lehrangebot der Abteilung
Algebraische und logische Grundlagen der Informatik

Sommersemester 2012                                                      

• Berechenbarkeit (M. Lohrey)

• Spieltheoretische Methoden in der Logik (M. Lohrey)

• Verifikation unendlicher Systeme (M. Lohrey)

• Effiziente Suche im Web (S. Maneth)

Wintersemester 2011/2012                                                      

• Automaten und Sprachen (M. Lohrey)

• Strukturelle Komplexitätstheorie (M. Lohrey)

• Problemseminar Datenkompression (M. Lohrey)

• Problemseminar Komplexitätstheorie (M. Lohrey)

Wintersemester 2010/2011                                                      

• Logik (M. Lohrey)

• Strukturelle Komplexitätstheorie (M. Lohrey)

• Problemseminar Datenkompression (M. Lohrey)

• Problemseminar Komplexitätstheorie (M. Lohrey)

Sommersemester 2010                                                      

• Spieltheoretische Methoden in der Logik (M. Lohrey)

• Verifikation unendlicher Systeme (M. Lohrey)

• Seminar Automaten und Logiken für semistrukturierte Daten (XML) (M. Lohrey)

Wintersemester 2009/2010                                                      

• Neu: Die Vorlesung Logik wird von Herrn Dr. Daniel Kirsten gehalten.

• Strukturelle Komplexitätstheorie (M. Lohrey)

• Neu: Schaltkreiskomplexität (M. Lohrey)

• Problemseminar Datenkompression (M. Lohrey)

• Problemseminar Komplexitätstheorie (M. Lohrey)

Sommersemester 2009                                                      

• Berechenbarkeit (M. Lohrey)

• Algebraic Automata Theory (B. Steinberg)

• Spieltheoretische Methoden in der Logik (M. Lohrey)

• Verifikation unendlicher Systeme (M. Lohrey)

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