Theoretische Informatik und Logik(SS2019): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Emma Dietz (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Emma Dietz (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 41: | Zeile 41: | ||
Die Einschreibungen in die Übungsgruppen erfolgt über [https://jexam.inf.tu-dresden.de <font color="red"> JExam</font>]. Sollten Sie keinen Zugang zu JExam haben schreiben Sie bitte eine kurze [mailto:emmanuelle.dietz@tu-dresden.de?subject=FS-Einschreibung <font color="red"> Email</font>]. | Die Einschreibungen in die Übungsgruppen erfolgt über [https://jexam.inf.tu-dresden.de <font color="red"> JExam</font>]. Sollten Sie keinen Zugang zu JExam haben schreiben Sie bitte eine kurze [mailto:emmanuelle.dietz@tu-dresden.de?subject=FS-Einschreibung <font color="red"> Email</font>]. | ||
Die folgenden Übungen finden ab der Woche vom 8.4.2019 statt | Die folgenden Übungen finden ab der Woche vom 8.4.2019 statt. In der ersten Übungswoche (8.4. - 12.4.) werden Übungen zur Aussagenlogik wiederholt. | ||
* montags, 3.DS (APB/E001) | * montags, 3.DS (APB/E001) (Emmanuelle Dietz) | ||
* dienstags, 4.DS (APB/E008) | * dienstags, 4.DS (APB/E008) (Tobias John) | ||
* mittwochs, 5.DS (APB/E010) | * mittwochs, 5.DS (APB/E010) (Emmanuelle Dietz) | ||
* freitags, 1.DS (APB/E010) | * freitags, 1.DS (APB/E010) (Tobias John) | ||
* freitags, 2.DS (APB/E009) | * freitags, 2.DS (APB/E009) (Marcos Cramer) | ||
* freitags, 4.DS (APB/E001) | * freitags, 4.DS (APB/E001) (Marcos Cramer) | ||
<!-- | <!-- | ||
Version vom 2. April 2019, 13:59 Uhr
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. In der ersten Übungswoche (8.4. - 12.4.) werden Übungen zur Aussagenlogik wiederholt.
- montags, 3.DS (APB/E001) (Emmanuelle Dietz)
- dienstags, 4.DS (APB/E008) (Tobias John)
- mittwochs, 5.DS (APB/E010) (Emmanuelle Dietz)
- freitags, 1.DS (APB/E010) (Tobias John)
- freitags, 2.DS (APB/E009) (Marcos Cramer)
- freitags, 4.DS (APB/E001) (Marcos Cramer)
