Theoretische Informatik und Logik(SS2016): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Emma Dietz (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Tobias Philipp (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 27: | Zeile 27: | ||
* [https://ddll.inf.tu-dresden.de/w/images/e/e6/Intro2016.pdf Einführung] | * [https://ddll.inf.tu-dresden.de/w/images/e/e6/Intro2016.pdf Einführung] | ||
* [https://cloudstore.zih.tu-dresden.de/public.php?service=files&t=7d95fbbfa68525629c03913726159ad2 Folien Theoretische Informatik] | |||
}} | }} | ||
Version vom 4. April 2016, 11:26 Uhr
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
Übungen
Die Übungen finden erst ab der zweiten Vorlesungswoche statt, d.h. ab der Woche vom 11.4. Voraussichtlich werden folgende Übungen stattfinden (Achtung, es könnte noch Veränderungen bei den Räumen geben):
- Dienstag, 5.DS in APB/E010
- Mittwoch, 4.DS in APB/E010
- Mittwoch, 5.DS in SCH/A184
- Freitag, 2.DS in SE2/0221
- 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.
Vorlesungsfolien
