Modulkataloge
Name des Moduls |
[50050] Automaten und Berechenbarkeit |
Modulcode |
FMI-IN0005 |
|
Studiengang |
[079] Informatik |
ECTS Punkte |
9 LP |
|
Arbeitsaufwand für Selbststudium |
180 Stunden |
Häufigkeit des Angebotes (Modulturnus) |
jedes 2. Semester (ab Wintersemester) |
Arbeitsaufwand in Präsenzstunden |
90 Stunden |
Dauer des Moduls |
1 Semester |
Arbeitsaufwand Summe (Workload) |
270 Stunden |
|
|
|
Modulverantwortlicher |
Joachim Giesen |
Voraussetzungen für die Vergabe von Leistungspunkten |
Klausur oder mündliche Prüfung (Festlegung erfolgt zu Beginn des Moduls) |
Zusätzliche Informationen zum Modul |
LA Informatik: Das Modul wird in die Berechnung der Endnote aufgenommen ab WS 2014/15 verschoben in WS (PO von 2014) |
Literatur |
U. Schöning: Theoretische Informatik – kurzgefasst, Spektrum Akademischer Verlag. |
Voraussetzungen für die Zulassung zum Modul |
keine |
Vorkenntnisse |
FMI-IN0013 Diskrete Strukturen I FMI-IN0014 Diskrete Strukturen II |
Art des Moduls |
- 079 LA Gymnasium Informatik: Pflichtmodul - 079 LA Gym (Erweiterung) Informatik: Pflichtmodul - 079 B.A. Informatik: Wahlpflichtmodul - 079 B.Sc. Informatik: Pflichtmodul (Konto A) - 105 B.Sc. Mathematik: Wahlpflichtmodul (Erweiterung: Angewandte Mathematik+Stochastik; Vertiefung: Algorithmik; NF Informatik) - 105 M.Sc. Mathematik (PO-V. 2010): Wahlpflichtmodul (NF Informatik) - 184 B.Sc. Wirtschaftswissenschaften: Wahlpflichtmodul (IMS: Vertiefungsmodule d. FMI) - 276 M.Sc. Wirtschaftsmathematik: Wahlpflichtmodul (Informatik) |
Zusammensetzung des Moduls / Lehrformen |
4 SWS Vorlesung 2 SWS Übung |
Inhalte |
- Formale Sprachen und Automaten (u.a. Chomsky-Hierarchie, Grammatiken, endliche Automaten, Kellerautomaten, Turingmaschinen) - Berechenbarkeit (u.a. Berechnungsmodelle und deren Äquivalenz, Entscheidbarkeit und Aufzählbarkeit, Reduktionen, Halteproblem, Postsches Korrespondenzproblem) - Theorie der NP-Vollständigkeit |
Lern- und Qualifikationsziele |
- Grundlegende Kenntnisse in Theoretischer Informatik - Befähigung zum Einsatz von Modellierungswerkzeugen wie Automaten und Grammatiken - Einsicht in die Grenzen der Berechenbarkeit |
Voraussetzung für die Zulassung zur Modulprüfung (Prüfungsvorleistungen) |
Übungskriterien, die zum Modulbeginn festgelegt werden |
Sie befinden sich hier:
FMI-IN0005 ... Automaten und Berechenbarkeit
FMI-IN0005 ... Automaten und Berechenbarkeit