Formale Systeme — Wintersemester 2021/22

Prof. Dr. Bernhard Beckert
Alexander Weigl, Dr. Mattias Ulbrich, Jonas Schiffl

Typ: Vorlesung
Zielgruppe: Bachelor Informatik, Master Informatik
Umfang: 4 SWS / 6 Leistungspunkte
Ort: Präsenz: Gaede-Horsaal
Zeit: Donnerstag, 14:00 - 15:30 Uhr
Freitag, 12:00 - 13:30 Uhr
Veranstaltungs-Nr.: 24086
ILIAS-Kurs: Link

Aktuelles

  • 16.08.2020: Webseite angelegt. Beachten Sie: Diese Vorlesung wird in vorrausichtlich in Präsenz stattfinden.

Materialien

Skriptum

skriptum.pdf


Aufgabensammlung

Die Aufgabensammlung befindet sich in Ilias.


Altklausuren

Altklausuren


Übungsaufgaben

Folgende Aufgaben möchten wir besprechen:


Forum und Einreichung von Lösungen der Praxisaufgaben

Bitte beachten Sie die Regeln. Insbesondere dürfen keine Lösungen gepostet werden.


Folien

Vorlesungsfolien sind im Ilias-Kurs verfügbar.




Link zur Webseite des vorigen Jahres