Formale Systeme

Aus International Center for Computational Logic

Version vom 26. September 2022, 00:01 Uhr von Oliver Fernandez Gil (Diskussion | Beiträge)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Wechseln zu:Navigation, Suche

Formale Systeme

Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in WS 2022

Dozent

Franz Baader

Tutor

Anton Claußnitzer

Umfang (SWS)

4/2/0

Module

Leistungskontrolle

Klausur

Information

https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/36483923969

Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Formale_Systeme_(WS2022)&oldid=37185“

Vorlesung