703302 VO Automaten und Logik
Wintersemester 2023/2024 | Stand: 31.01.2024 | 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
- Fakultät für LehrerInnenbildung
- 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 02.10.2023
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrierefrei | |
|
Mo 09.10.2023
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrierefrei | |
|
Mo 16.10.2023
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrierefrei | |
|
Mo 23.10.2023
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrierefrei | |
|
Mo 30.10.2023
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrierefrei | |
|
Mo 06.11.2023
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrierefrei | |
|
Mo 13.11.2023
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrierefrei | |
|
Mo 20.11.2023
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrierefrei | |
|
Mo 27.11.2023
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrierefrei | |
|
Mo 04.12.2023
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrierefrei | |
|
Mo 11.12.2023
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrierefrei | |
|
Mo 08.01.2024
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrierefrei | |
|
Mo 15.01.2024
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrierefrei | |
|
Mo 22.01.2024
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrierefrei | |
|
Mo 29.01.2024
|
08.15 - 09.45 | HSB 6 HSB 6 | Barrierefrei | |