Themenmodul Angewandte Automatentheorie
| Credits | Workload | Kontaktzeit | Selbststudium | Dauer |
|---|---|---|---|---|
| 6 CP | 180 h | 5 SWS (75 h) | 105 h |
Teilnahmevoraussetzungen
Vorlesungen 'Formale Systeme, Automaten, Prozesse', 'Berechenbarkeit und Komplexität', 'Logik'
In den Übungen kann es Veranstaltungen mit Anwesenheitspflicht geben (gemäß § 6). Die erfolgreiche Teilnahme an den regelmäßigen Übungen ist Voraussetzung für die Zulassung zur Prüfung.
Lehrveranstaltungen
| Veranstaltung/ Lehrform | CP | SWS | Häufigkeit | |
|---|---|---|---|---|
| Vorlesung Angewandte Automatentheorie | 6 CP | 3 SWS | SoSe, jährlich | |
| Übung Angewandte Automatentheorie | 2 SWS | SoSe, jährlich | ||
Prüfungsleistung
90- bis 120-minütige Klausur oder 15- bis 45-minütige mündliche Prüfung
Note
Die Modulnote ist die Note der Klausur bzw. der mündlichen Prüfung.
Lernergebnisse / Kompetenzen
- Beherrschung der grundlegenden Konzepte zustandsbasierter Modelle der Informatik
- Fähigkeit, Modelle nach ihren grundlegenden Eigenschaften der Ausdrucksfähigkeit und der algorithmischen Komplexität einzuschätzen
Inhalte
- Miminierung von Automaten und Bisimulation
- Learnen regulärer Sprachen
- Gewichtete Automaten, einschließlich probabilistischer Automaten
- Automaten und Logik
- Pushdown-Systeme
- Unentscheidbare Probleme der Automatentheorie
- Petrinetze
Alternative Wahlmodule zu diesem Modul
Daten und Informationsmanagement
- Themenmodul Data Mining Algorithmen
- Themenmodul Inhaltsbasierte Ähnlichkeitssuche
- Themenmodul Web Technologies
Software und Kommunikation
- Themenmodul Advanced Internet Technology (Massiv Verteilte Systeme I)
- Themenmodul Multimedia Internet Technology
- Verteilte Anwendungssysteme und Middleware
Modulzuordnung
: Fach Grundlagen der Informatik: Bereich Theoretische Informatik
Disclaimer
Bitte beachten Sie, dass im Zweifel (z.B. sich widersprechende Angaben auf der Website und dem Modulhandbuch) für Ihr Studium immer die Angaben in der aktuellen Bachelorprüfungsordnung mit den entsprechenden Anhängen verbindlich sind. Wenden Sie sich bitte an die Fachstudienberatung, wenn Ihnen Unstimmigkeiten auffallen.
