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

  • 17.06.2021: Klausureinsicht
    Liebe Studierende,
    
    die Einsicht für die Formale Systeme Klausur aus dem WS20/21 findet in
    Präsenzform statt:
    
        Datum   : 8.7.2021
        Uhrzeit : 14:00 Uhr - 16:00 Uhr
        Ort     : Informatik-Bibliothek (Geb. 50.34)
    
    Aufgrund der Corona-Regelungen gibt es Terminslots, für die Sie sich
    anmelden müssen. Die Anmeldung erfolgt über
    
        https://portal.wiwi.kit.edu/ys/4910
    
    Sie werden dann entsprechend einem Slot zugewiesen. Sollte der Bedarf
    größer ausfallen, sind wir bemüht das Kontingent rechtzeitig weiter zu
    erhöhen.
    
    Freundliche Grüße,
    
    Alexander Weigl
        
  • 14.06.2021: Nachklausur
    Die Nachklausur für Formale Systeme WS 20/21 findet am
    Mittwoch, 4. August 2021, 11:00 Uhr 
    im Hertz-Hörsaal (10.11)
    statt.
  • 02.06.2021: Klausurergebnisse
    Die Klausurergebnisse sind nun in Illias hochgeladen.

    Die Noten werden auch Anfang nächster Woche im Campus-System sichtbar. Sollten Sie die Die Klausur-ID/Code nicht wissen, können Sie in dringlichen Fällen mich mit Ihrer KIT-E-Mail-Addresse anschreiben.


    Klausureinsicht

    Wir warten mit der Klausureinsicht bis die Inzidenz weiter gesunken ist. Aktuelle Überlegung ist Anfang Juli, auf jeden Fall rechtzeitig vor der FS-Klausur im Sommer. Das Format steht noch nicht fest. Bitte beachten Sie, dass die Noten bis zur Klausureinsicht im Campus-System zwar sichtbar sind, aber (unseres Wissen nach) nicht in Notenauzüge auftauchen. Melden Sie sich bitte bei uns, wenn Sie Ihre Note früher bestätigt haben möchten. In begündeten Einzelfällen können wir auch eine individuelle Klausureinsicht anbieten.

  • 31.03.2021:
    ================================================================================ KLAUSUR-REGELUNGEN ================================================================================ 1. Sie sind nach den Anfangsbuchstaben Ihrer Nachnamen den Hörsäalen zugeordnet: A - P: Zelt am Audimax (kleines Zelt) Q - S: 50.35 Fasanengarten-Hörsaal (HS a.F.) T - Z: 30.46 Chemie, Neuer Hörsaal 2. Die Klausur beginnt um 13:30 Uhr. Planen Sie jedoch hinreichend Zeit vor der Klausur ein (s. nächster Punkt). 3. Der Einlass erfolgt gestaffelt individuell für jeden Hörsaal: A - P: Zelt am Audimax (kleines Zelt) * L - P , 12:30 Uhr bis 12:45 Uhr * Her - K , 12:45 Uhr bis 13:00 Uhr * C - Hel, 13:00 Uhr bis 13:15 Uhr * A - B , 13:15 Uhr bis 13:25 Uhr Q - S: 50.35 Fasanengarten-Hörsaal (HS a.F.) * Schn - S , 13:00 Uhr bis 13:10 Uhr * Q - Schn, 13:10 Uhr bis 13:20 Uhr T - Z: 30.46 Chemie, Neuer Hörsaal * X - Z, 13:00 Uhr bis 13:10 Uhr * T - W, 13:10 Uhr bis 13:20 Uhr Bitte halten Sie Ihren Zeitslot ein. Damit ermöglichen Sie einen reibungslosen Ablauf ohne Ansammlungen beim Einlass und einen pünktlichen Start der Klausur. Halten Sie bitte bereits beim Einlass Ihren Studentenausweis und amtlichen Lichtbildausweis bereit. 4. Abmeldungen von der Klausur sind *über CAS* bis Montag (Tag vor der Klausur) möglich. Abmeldungen am Dienstag (Tag der Klausur) sind bis 13:30 Uhr möglich, müssen aber per E-Mail an von Ihrer KIT-E-Mail-Adresse erfolgen. Nicht-Teilnahme ohne Abmeldung wird weiterhin mit 5,0 bewertet. ================================================================================ ALLGEMEINE HINWEISE Corona ================================================================================ 1. Wir empfehlen Ihnen, dass Sie sich vor der Klausur auf Corona testen lassen oder einen Selbsttest verwenden. Corona-Tests sind zwar nicht verbindlich vorgeschrieben; aber Sie schützen damit die Gesundheit Ihrer Kommilitonen und helfen die Pandemie einzudämmen! Es gibt im Stadtgebiet zahlreiche Teststellen (Apotheken, Ärzte, ...), die eine kostenfreie Testung anbieten. Der Test ist einmal wöchentlich kostenfrei: https://corona.karlsruhe.de/aktuell/uebersicht-teststellen-2 2. Bitte beachten Sie die KIT-weiten Regelungen für Präsenzprüfungen unter Corona-Bedingungen: https://www.kit.edu/downloads/merkblatt_klausuren%20unter%20coronabedingungen.pdf Insbesondere gilt ein Zutritts- und Teilnahmeverbot für Personen, die Kontakt zu einer Corona-infizierten Person in den letzten 14 Tagen hatten, oder die typische Symptome einer Infektion mit dem Coronavirus (Fieber, trockener Husten, Störung des Geschmacks- oder Geruchssinns) aufweisen. 3. Bitte Beachten Sie die ständige Maskenpflicht vor, während(!) und nach der Klausur. Dabei müssen medizinische Masken oder FFP2-Masken verwendet werden (sogenannte Alltagsmasken genügen nicht). Gutes gelingen! Bleibt gesund!
  • An/Abmeldung von der Klausur (23.3.2021)

    Bitte beachten Sie, folgende Hinweise zur Klausur:

    Eine Klausuranmeldung muss elektronisch bis zum 29.3.2021 erfolgen (eine Woche vor der Klausur). In den Vorjahren bestand die Möglichkeit sich noch bei der Klausuraufsicht für die Klausur anzumelden. Diese Möglichkeit besteht nicht mehr!


    Die Abmeldung von der Klausur ist über das Campus-System bis zum 5.4.2021 (ein Tag vor der Klausur) möglich. Eine Abmeldung ist aber auch noch am 6.4.2021 per E-Mail möglich, insbesondere beim Auftreten von Krankheitssymptomen. Dazu schreiben Sie eine E-Mail an weigl@kit.edu. Ich versuche den Eingang zu bestätigen, kann dies aber nicht zeitnah gewährleisten. Unser Sekretariat ist vermutlich die Osterwoche nicht besetzt.


    Die Einteilung zu den Hörsäalen erfolgt sobald die Frist zur Klausuranmeldung (30.3.) abgelaufen ist. 



    Gutes Lernen, 

    Alexander Weigl


  • 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