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´
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
Note
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
Dieses Modul gehört zur Gruppe "Wahlpflicht Informatik". 9 Module (bestehend aus Vorlesung und Übung) zu wählen aus dem Wahlpflichtprogramm in den vier Bereichen: „Angewandte Informatik“, „Software & Kommunikation“, „Daten- und Informationsmanagement“, „Theoretische Informatik“. In jedem Bereich sind mind. 6, höchstens jedoch 30 ECTS zu erwerben. Die Module sollten so gewählt werden, dass im 1. Studienjahr in der Regel 36 ECTS, im zweiten Studienjahr 24 ECTS erworben werden.
Angewandte Informatik
- Computational Differentiation
- Designing Interactive Systems II
- Einführung in die Computergraphik
- Einführung in High-Performance Computing
- HCI Design Patterns
Daten- und Informationsmanagement
- Datenbanken und Informationssysteme
- Einführung in die künstliche Intelligenz
- Einführung in die Wissensrepräsentation
- Implementation of Databases
- Inhaltsbasierte Ähnlichkeitssuche
- Web Engineering
Software und Kommunikation
- Architekturmodellierung von Softwaresystemen
- Datenkommunikation und Sicherhei
- Einführung in Eingebettete Systeme
- Modellbasierte Softwareentwicklung
- Verteilte Anwendungssysteme und Middleware
Theoretische Informatik
- Berechenbarkeit und Komplexität
- Compilerbau
- Einführung in Effiziente Algorithmen
- Funktionale Programmierung
- Logikprogrammierung
- Model Checking
Modulzuordnung
Master of Science: 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.
