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 2016
Dozent
- Steffen Hölldobler
Tutor
Umfang (SWS)
- 4/2/0
Module
Leistungskontrolle
- Klausur
Die Slots der ursprünglichen Übungsstunden und die Räume wurden verändert. Falls Ihr Euch schon in eine Übung eingeschrieben habt, überprüft bitte ob diese mit den neuen Uhrzeiten übereinstimmt.
Übungen
Die Übungen finden erst ab der zweiten Vorlesungswoche statt, d.h. ab der Woche vom 11.4. Voraussichtlich werden folgende Übungen stattfinden:
- Dienstag, 5.DS in APB/E010
- Mittwoch, 4.DS in APB/E010
- Mittwoch, 5.DS in APB/E001
- Freitag, 2.DS in APB/E008
- Freitag, 5.DS in APB/E007
Vorlesung
Die Vorlesung findet montags in der 2. DS in APB/E023 und donnerstags in der 4. DS in HSZ/0004 statt.
Am Montag, den 30.05.2016, findet die Vorlesung ausnahmsweise in CHE (Chemie-Hörsaal) 91 statt.
Vorlesungsfolien
