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

  • 29.10.2020:

    Wegen der Corona-Pandemie wird die Vorlesung als reine Online-Veranstaltung stattfinden, mit einer Kombination aus Online-Veranstaltungen per zoom und aufgezeichneten Videos.

    In jeder Vorlesungswoche werden am Wochenanfang Videos zur Verfügung gestellt, die in den Vorlesungsstoff der Woche einführen. Zudem werden Übungsaufgaben zur Verfügung gestellt. Die Videos sollten Sie bis zur Mitte der Woche angesehen und sich mit den Übungsaufgaben beschäftigt haben. Am Donnerstag (14 Uhr) und Freitag (12 Uhr) jeder Woche finden zwei Online-Veranstaltungen per zoom statt. In diesen werden die Inhalte der Videos kurz rekapituliert und vertieft, Fragen beantwortet und die Übungsaufgaben besprochen. Fragen können Sie während der Online-Veranstaltungen stellen oder auch vorher im Ilias-Forum oder per E-Mail. Die Online-Veranstaltungen werden nicht aufgezeichnet.

  • 26.10.2020: Die Planung der Vorlesung läuft. Im Laufe der Tage folgen weitere Informationen.
  • Klausureinsicht: Wir planen mit der Klausureinsicht im November für die beiden Klausuren WS19/20 und SS20.
    Um besser planen zu kommen bitten wir um eine unverbindliche Voranmeldung bis zum 30. Oktober 2020. Dazu genügt eine E-Mail an weigl@kit.edu mit dem Betreff "Klausureinsicht".
  • 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

skriptum.pdf


Aufgabensammlung

Die Aufgabensammlung befindet sich in Ilias.


Altklausuren

Altklausuren


Übungsaufgaben

Folgende Aufgaben möchten wir besprechen:

  • Einleitende Beispiele: Aufgabe 2 und 5


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