Theoretische Informatik und Logik
Aus International Center for Computational Logic
Theoretische Informatik und Logik
Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in SS 2019
Dozent
- Steffen Hölldobler
Tutor
Umfang (SWS)
- 4/2/0
Module
Leistungskontrolle
- Klausur
Vorlesung
Die Vorlesung findet montags in der 2.DS (HSZ/0004) und freitags in der 3.DS (HSZ/0004) statt.
Übungen
Die Einschreibungen in die Übungsgruppen erfolgt über JExam. Sollten Sie keinen Zugang zu JExam haben schreiben Sie bitte eine kurze Email.
Die folgenden Übungen finden ab der Woche vom 8.4.2019 statt:
- montags, 3.DS (APB/E001)
- dienstags, 4.DS (APB/E008)
- mittwochs, 5.DS (APB/E010)
- freitags, 1.DS (APB/E010)
- freitags, 2.DS (APB/E009)
- freitags, 4.DS (APB/E001)