Formale Systeme (WS2022): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
(Die Seite wurde neu angelegt: „{{Vorlesung |Title=Formale Systeme |Research group=Automatentheorie |Lecturers=Franz Baader |Term=WS |Year=2022 |SWSLecture=4 |SWSExercise=2 |SWSPractical=0 |E…“) |
Keine Bearbeitungszusammenfassung |
||
| Zeile 3: | Zeile 3: | ||
|Research group=Automatentheorie | |Research group=Automatentheorie | ||
|Lecturers=Franz Baader | |Lecturers=Franz Baader | ||
|Tutors=Anton Claußnitzer | |||
|Term=WS | |Term=WS | ||
|Year=2022 | |Year=2022 | ||
|Module=INF‑B‑270, INF‑B‑275, INF‑LE‑EUI, IST‑05‑PF‑HS | |||
|SWSLecture=4 | |SWSLecture=4 | ||
|SWSExercise=2 | |SWSExercise=2 | ||
Aktuelle Version vom 26. September 2022, 00:01 Uhr
Formale Systeme
Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in WS 2022
Dozent
Tutor
- Anton Claußnitzer
Umfang (SWS)
- 4/2/0
Module
Leistungskontrolle
- Klausur
