Lehre

Aktuelles

10.07.2014

Termine für mündliche Prüfungen AfS und BeKo

Wer dieses Semester an der Einzelprüfung "Automaten und formale Sprachen", an der Einzelprüfung "Berechenbarkeit und Komplexität" oder an der Modulprüfung "Theoretische Informatik") teilnehmen...[mehr]

Kategorie: Automaten und formale Sprachen

04.02.2014

Klausur Logik

Die Klausur Logik findet am 11.2.2014 um 8:30 Uhr statt. Die Klausur wird in zwei Räumen geschrieben: In der LD Sporthalle schreiben Studierenden, deren Nachnamen anfangen mit den Buchstaben A-S.Im LB 104 schreiben Studierenden,...[mehr]

Kategorie: Logik

23.01.2014

Anmeldelisten liegen aus

Die Anmeldelisten für die mündlichen Prüfungen am 13. und 14. Februar liegen im Sekretariat LF 227 aus. Bitte tragen Sie sich in die entsprechenden Listen ein.[mehr]

Kategorie: Modellierung, Analyse, Verifikation

Druckversion
© Universität Duisburg-Essen, Lehrstuhl Theoretische Informatik Login