703303 PS Automaten und Logik
Wintersemester 2021/2022 | Stand: 16.09.2021 | LV auf Merkliste setzen703303
PS Automaten und Logik
PS 2
3
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.
Grundlagen der Theorie der formalen Sprachen; Schwache, monadische Logik zweiter Stufe; Presburger Arithmetik; LTL; Automaten (nichtdeterministische endliche, alternierende, Büchi)
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 | ||
Mi 06.10.2021
|
15.15 - 17.00 | eLecture - online eLecture - online | ||
Mi 13.10.2021
|
15.15 - 17.00 | eLecture - online eLecture - online | ||
Mi 20.10.2021
|
15.15 - 17.00 | eLecture - online eLecture - online | ||
Mi 27.10.2021
|
15.15 - 17.00 | eLecture - online eLecture - online | ||
Mi 03.11.2021
|
15.15 - 17.00 | eLecture - online eLecture - online | ||
Mi 10.11.2021
|
15.15 - 17.00 | eLecture - online eLecture - online | ||
Mi 17.11.2021
|
15.15 - 17.00 | eLecture - online eLecture - online | ||
Mi 24.11.2021
|
15.15 - 17.00 | eLecture - online eLecture - online | ||
Mi 01.12.2021
|
15.15 - 17.00 | eLecture - online eLecture - online | ||
Mi 15.12.2021
|
15.15 - 17.00 | eLecture - online eLecture - online | ||
Mi 12.01.2022
|
15.15 - 17.00 | eLecture - online eLecture - online | ||
Mi 19.01.2022
|
15.15 - 17.00 | eLecture - online eLecture - online | ||
Mi 26.01.2022
|
15.15 - 17.00 | eLecture - online eLecture - online | ||
Mi 02.02.2022
|
15.15 - 17.00 | eLecture - online eLecture - online |