Formale Systeme — Wintersemester 2020/21
Prof. Dr. Bernhard Beckert
Dr. Mattias Ulbrich,
Jonas Schiffl,
Alexander Weigl
| Typ: | Vorlesung |
|---|---|
| Zielgruppe: | Bachelor Informatik, Master Informatik |
| Umfang: | 4 SWS / 6 Leistungspunkte |
| Ort: | Online |
| Zeit: | Donnerstag, 14:00 - 15:30 Uhr Freitag, 12:00 - 13:30 Uhr |
| Veranstaltungs-Nr.: | 24086 |
| ILIAS-Kurs: | Link |
Aktuelles
- 06.10.2020: ILIAS-Kurs ist jetzt online.
Vorlesungsbegleitendes Forschungspraktikum: Für Masterstudierende (bzw. für Bachelorstudierende im Mastervorzug) besteht die Möglichkeit zum Erwerb zusätzlicher Leistungspunkte am vorlesungsbegleitenden Forschungspraktikum teilzunehmen. Die Teilnahme ist optional, also insbesondere nicht verpflichtend zur Teilnahme an der Vorlesung. Zu Beginn der Vorlesung werden Themen vorgestellt, für die Sie sich bewerben können. Weitere Informationen zum Forschungspraktikum ...
Materialien
Skriptum
Aufgabensammlung
aufgaben.pdf (06.02.2020)
loesungen.pdf (06.02.2020)
Altklausuren
Link zur Webseite des vorigen Jahres