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
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