|
Seminar Automaten über unendlichen Wörtern (AutoInf)
- Dozent/in
- Prof. Dr. Lutz Schröder
- Angaben
- Seminar
Online/Präsenz 2 SWS, ECTS-Studium, ECTS-Credits: 5, Sprache Deutsch und Englisch
Zeit und Ort: Mo 14:15 - 15:45, 00.131-128; Bemerkung zu Zeit und Ort: Raumreservierung bleibt bestehen. Veranstaltung wird voraussichtlich in Präsenz angeboten, bei Bedarf mit digitalen Zusatzangebot, etwa Liveübertragung via Zoom
- Studienfächer / Studienrichtungen
- WF M-BA ab 4 (ECTS-Credits: 5)
WF M-MA ab 1 (ECTS-Credits: 5)
WPF INF-BA-V-THI ab 4 (ECTS-Credits: 5)
WPF INF-BA-V-KI ab 4 (ECTS-Credits: 5)
WPF I2F-BA ab 4 (ECTS-Credits: 5)
WPF INF-LAG ab 4 (ECTS-Credits: 5)
WPF INF-LAG-M ab 4 (ECTS-Credits: 5)
WPF INF-LAG-P ab 4 (ECTS-Credits: 5)
WPF INF-MA ab 1 (ECTS-Credits: 5)
- ECTS-Informationen:
- Credits: 5
- Zusätzliche Informationen
- Schlagwörter: Automaten; Sprachen; unendliche Worte; Büchi-Automaten; Spiele; Logik
Erwartete Teilnehmerzahl: 25
www: http://www8.cs.fau.de/teaching/WS20/autoinf
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2020/2021:
- Seminar Automaten über unendlichen Wörtern (AutoInf)
- Institution: Lehrstuhl für Informatik 8 (Theoretische Informatik)
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|