703302 VO Automaten und Logik
Wintersemester 2022/2023 | Stand: 12.05.2023 | LV auf Merkliste setzen703302
VO Automaten und Logik
VO 2
4,5
wöch.
jährlich
Englisch
Vertieftes Verständnis auf dem Gebiet der endlichen Automaten und der Logik; Studierende beherrschen die Konzepte und theoretischen Werkzeuge, die der rechnergestützten Verifikation zugrundeliegen im vollen Umfang und können diese auch gegebenenfalls eigenständig weiterentwickeln.
(deterministische, nichtdeterministische, alternierende) endliche Automaten; reguläre Ausdrücke; (schwache) monadische Prädikatenlogik zweiter Stufe; Presburger-Arithmetik; (alternierende) Büchi-Automaten; lineare temporale Logik; Baumautomaten
Schriftlich
Umfangreiche Vorlesungsfolien. Begleitende Literatur wird auf der Kurswebseite verlinkt.
Keine.
Der Kurs wird auf Englisch abgehalten.
siehe Termine
- Fakultät für Mathematik, Informatik und Physik
- SDG 4 - Hochwertige Bildung: Inklusive, gleichberechtigte und hochwertige Bildung gewährleisten und Möglichkeiten lebenslangen Lernens für alle fördern
- SDG 9 - Industrie, Innovation und Infrastruktur: Eine widerstandsfähige Infrastruktur aufbauen, breitenwirksame und nachhaltige Industrialisierung fördern und Innovationen unterstützen
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 03.10.2022
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 10.10.2022
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 17.10.2022
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 24.10.2022
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 31.10.2022
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 07.11.2022
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 14.11.2022
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 21.11.2022
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 28.11.2022
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 05.12.2022
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 12.12.2022
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 09.01.2023
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 16.01.2023
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 23.01.2023
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 30.01.2023
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |