Theoretische Informatik und Logik(SS2019): Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
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)