Theoretische Informatik und Logik

Aus International Center for Computational Logic
Version vom 22. Februar 2019, 11:13 Uhr von 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…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche

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.