Theoretische Informatik und Logik(SS2019): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Emma Dietz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Theoretische Informatik und Logik |Research group=Wissensverarbeitung |Lecturers=Steffen Hölldobler |Tutors=Emmanuelle Dietz; Marcos Cramer…“) |
Emma Dietz (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 11: | Zeile 11: | ||
|SWSPractical=0 | |SWSPractical=0 | ||
|Exam type=Klausur | |Exam type=Klausur | ||
|Description= | |Description=<!-- | ||
<!-- | |||
= Neuigkeiten = | = Neuigkeiten = | ||
<b><font color="red">Die Einsichtnahme in die Theoretische Informatik und Logik Klausur vom 25.07.2016 findet am Montag 17.10.2016 um 15:00 Uhr, im Raum 2026 im APB (Andreas-Pfitzmann-Bau / Fakultät Informatik) statt. Ein amtlicher Lichtbildausweis ist mitzubringen.</font> </b> | <b><font color="red">Die Einsichtnahme in die Theoretische Informatik und Logik Klausur vom 25.07.2016 findet am Montag 17.10.2016 um 15:00 Uhr, im Raum 2026 im APB (Andreas-Pfitzmann-Bau / Fakultät Informatik) statt. Ein amtlicher Lichtbildausweis ist mitzubringen.</font> </b> | ||
Zeile 38: | Zeile 36: | ||
Die Vorlesung findet montags in der 2.DS (HSZ/0004) und freitags in der 3.DS (HSZ/0004) statt. | 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 [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. 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) | |||
<!-- | <!-- |
Version vom 27. März 2019, 20:54 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. 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)