Formale Systeme — Wintersemester 2020/21

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

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.

• Direktlink zum ILIAS-Kurs
• Wegweiser im ILIAS-System: Magazin -> Organisationseinheiten -> Fakultät für Informatik -> WS 20/21 -> Formale Systeme

Folien

Vorlesungsfolien sind im Ilias-Kurs verfügbar.

Link zur Webseite des vorigen Jahres