Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

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


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

skriptum.pdf


Aufgabensammlung

aufgaben.pdf (06.02.2020)
loesungen.pdf (06.02.2020)


Altklausuren

Altklausuren




Link zur Webseite des vorigen Jahres