703608 VU Weiterführende Themen in Logik und Lernen: Tree Automata
Wintersemester 2024/2025 | Stand: 16.10.2024 | LV auf Merkliste setzen703608
VU Weiterführende Themen in Logik und Lernen: Tree Automata
VU 3
5
wöch.
2-Jahresrhythmus
Englisch
Vertieftes Verständnis ausgewählter Spezialisierungsbereiche in Logik und Lernen; Erwerb der Fähigkeit, sich ähnliches Wissen selbst anzueignen. Absolvent:innen dieses Kurses haben ein tiefgreifendes Verständnis von Baumautomaten sowie deren Anwendungen.
Eine Auswahl der folgenden Themen wird behandelt:
- regular tree languages
- tree automata
- minimization
- closure properties
- decision problems
- regular grammars
- regular expressions
- regular relations
- weak monadic second-order logic
- tree automata completion
- first-order theory of rewriting
- automata with constraints
- tree set automata
- tree transducers
Kontinuierliche Beurteilung durch regelmäßige schriftliche und mündliche Beiträge. Am Ende des Semester wird eine optionale schriftliche Prüfung angeboten.
Umfangreiche Vorlesungsfolien. Begleitende Literatur wird auf der Kurswebseite verlinkt.
Keine. Grundlagenmaterial zu endlichen Wortautomaten wird in der ersten Einheit wiederholt.
Der Kurs wird auf Englisch abgehalten.
siehe Termine
- Fakultät für LehrerInnenbildung
- Fakultät für Mathematik, Informatik und Physik
- "Doctor of Philosophy" - Doktoratsstudium Informatik laut Curriculum 2009 (180 ECTS-AP, 6 Semester)
- "Doctor of Philosophy" - Doktoratsstudium Mathematik laut Curriculum 2009 (180 ECTS-AP, 6 Semester)
- "Doctor of Philosophy" - Doktoratsstudium Physik laut Curriculum 2009 (180 ECTS-AP, 6 Semester)
- Masterstudium Informatik laut Curriculum 2021 (120 ECTS-AP, 4 Semester)
- 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
|
12.45 - 15.15 | 3W04 3W04 | Barrierefrei | |
|
Mo 14.10.2024
|
12.45 - 15.15 | Seminarraum 609 Seminarraum 609 | Barrierefrei | |
|
Mo 21.10.2024
|
12.45 - 15.15 | Seminarraum 609 Seminarraum 609 | Barrierefrei | |
|
Mo 28.10.2024
|
12.45 - 15.15 | Seminarraum 609 Seminarraum 609 | Barrierefrei | |
|
Mo 04.11.2024
|
12.45 - 15.15 | Seminarraum 609 Seminarraum 609 | Barrierefrei | |
|
Mo 11.11.2024
|
12.45 - 15.15 | Seminarraum 609 Seminarraum 609 | Barrierefrei | |
|
Mo 18.11.2024
|
12.45 - 15.15 | Seminarraum 609 Seminarraum 609 | Barrierefrei | |
|
Mo 25.11.2024
|
12.45 - 15.15 | Seminarraum 609 Seminarraum 609 | Barrierefrei | |
|
Mo 02.12.2024
|
12.45 - 15.15 | Seminarraum 609 Seminarraum 609 | Barrierefrei | |
|
Mo 09.12.2024
|
12.45 - 15.15 | Seminarraum 609 Seminarraum 609 | Barrierefrei | |
|
Mo 16.12.2024
|
12.45 - 15.15 | Seminarraum 609 Seminarraum 609 | Barrierefrei | |
|
Mo 13.01.2025
|
12.45 - 15.15 | Seminarraum 609 Seminarraum 609 | Barrierefrei | |
|
Mo 20.01.2025
|
12.45 - 15.15 | Seminarraum 609 Seminarraum 609 | Barrierefrei | |
|
Mo 27.01.2025
|
12.45 - 15.15 | Seminarraum 609 Seminarraum 609 | Barrierefrei | |
| Gruppe | Anmeldefrist | Prüfungsdatum | |
|---|---|---|---|
| 703608-0 | 01.12.2024 00:00 - 23.01.2025 23:59 |
27.01.2025
12:45 - 15:15
SR 609
|
|
|
Hinweis: test |
Middeldorp A. | ||