703302 VO Automaten und Logik
Wintersemester 2024/2025 | Stand: 05.06.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
Schriftlich
Umfangreiche Vorlesungsfolien. Begleitende Literatur wird auf der Kurswebseite verlinkt.
Keine.
Der Kurs wird auf Englisch abgehalten.
siehe Termine
- Fakultät für LehrerInnenbildung
- 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 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. | ||