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
- 04.10.2021: Klausureinsicht
Liebe Studierende,
die Einsicht für die Formale Systeme Nachklausur aus dem WS20/21 (vom 4.8.2021) findet in Präsenzform statt:
Aufgrund der Corona-Regelungen gibt es Terminslots, für die Sie sich anmelden müssen. Die Anmeldung erfolgt über das Wiwi-Portal und ist bis zum 18.10. geöffnet. Sie werden dann entsprechend einem Slot zugewiesen. Sollte der Bedarf größer ausfallen, sind wir bemüht das Kontigent rechtzeitig weiter zu erhöhen.Datum : 20.10.2021 Uhrzeit : 14:00 Uhr - 15:00 Uhr Ort : Informatik-Bibliothek (Geb. 50.34) - 03.08.2021: Nachklausur
================================================================================ NACHKLAUSUR REGELUNGEN ================================================================================ 1. Sie sind nach Ihren Anfangsbuchstaben Ihrer Nachnamen den Hörsäalen zugeordnet: A - J: 10.11 Hertz-Hörsaal K - Z: 10.91 Redtenbacher Hörsaal 2. Die Klausur beginnt um 11:00 Uhr. 3. Der Einlass erfolgt gestaffelt: A - J: 10.11 Hertz-Hörsaal * A - C, 10:30 Uhr bis 10:45 Uhr * D - J, 10:45 Uhr bis 11:55 Uhr K - Z: 10.91 Redtenbacher Hörsaal * K - P, 10:30 Uhr bis 10:45 Uhr * S - Z, 10:45 Uhr bis 11:55 Uhr Bitte versuchen Ihren Zeitslot einzuhalten, damit ermöglichen Sie uns einen reibungslosen Ablauf und einen pünktlichen Start der Klausur. Halten Sie bitte bereits beim Einlass Ihren Studierendenausweis und amtlichen Lichtbildausweis bereit. 4. Abmeldungen von der Klausur sind *über CAS* bis zum Mittwoch möglich. Klausurabmeldungen am Mittwoch bis 11:00 Uhr müssen per E-Mail an
-
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 statt.
im Hertz-Hörsaal (Geb. 10.11) -
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
================================================================================ 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 Studierendenausweis 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: Vorlesungsablauf
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
Aufgabensammlung
Die Aufgabensammlung befindet sich in Ilias.
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