703302 VO Automaten und Logik

Wintersemester 2024/2025 | Stand: 05.06.2024 LV auf Merkliste setzen
703302
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

Schriftlich

Umfangreiche Vorlesungsfolien. Begleitende Literatur wird auf der Kurswebseite verlinkt.

Keine.

Der Kurs wird auf Englisch abgehalten.

siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Mo 07.10.2024
08.30 - 10.00 HSB 9 HSB 9 Barrierefrei
Mo 14.10.2024
08.30 - 10.00 HSB 9 HSB 9 Barrierefrei
Mo 21.10.2024
08.30 - 10.00 HSB 9 HSB 9 Barrierefrei
Mo 28.10.2024
08.30 - 10.00 HSB 9 HSB 9 Barrierefrei
Mo 04.11.2024
08.30 - 10.00 HSB 9 HSB 9 Barrierefrei
Mo 11.11.2024
08.30 - 10.00 HSB 9 HSB 9 Barrierefrei
Mo 18.11.2024
08.30 - 10.00 HSB 9 HSB 9 Barrierefrei
Mo 25.11.2024
08.30 - 10.00 HSB 9 HSB 9 Barrierefrei
Mo 02.12.2024
08.30 - 10.00 HSB 9 HSB 9 Barrierefrei
Mo 09.12.2024
08.30 - 10.00 HSB 9 HSB 9 Barrierefrei
Mo 16.12.2024
08.30 - 10.00 HSB 9 HSB 9 Barrierefrei
Mo 13.01.2025
08.30 - 10.00 HSB 9 HSB 9 Barrierefrei
Mo 20.01.2025
08.30 - 10.00 HSB 9 HSB 9 Barrierefrei
Mo 27.01.2025
08.30 - 10.00 HSB 9 HSB 9 Barrierefrei
Gruppe Anmeldefrist Prüfungsdatum
703302-0 01.09.2024 00:00 - 31.01.2025 23:59
Zur LV anmelden
Middeldorp A.
703302-0 23.12.2024 00:00 - 13.01.2025 23:59
27.01.2025
08:00 - 10:00
HSB 9
Hinweis:
1st exam
Middeldorp A.
703302-0 22.01.2025 00:00 - 12.02.2025 23:59
26.02.2025
08:30 - 10:00
HSB 3
Hinweis:
2nd exam
Middeldorp A.