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
