|
Berechenbarkeit und Formale Sprachen (BFS)7.5 ECTS (englische Bezeichnung: Theory of Computation and Formal Languages)
Modulverantwortliche/r: Rolf Wanka Lehrende:
Rolf Wanka
Studienfächer/Prüfungsordnungsmodule:
Einfrieren der UnivIS-Modul-Beschreibung: 11.10.2021
Berechenbarkeit und Formale Sprachen (18310, 1 Semester, Turnus: jährlich (WS))
Startsemester: |
WS 2021/2022 | Dauer: |
1 Semester | Turnus: |
jährlich (WS) |
Präsenzzeit: |
90 Std. | Eigenstudium: |
135 Std. | Sprache: |
Deutsch |
Lehrveranstaltungen:
Inhalt:
- Registermaschinen und Turingmaschinen als Modelle des Berechenbaren, die Churchsche These und unentscheidbare Probleme
NP-Vollständigkeit und das P-NP-Problem
Endliche Automaten
Grammatiken und die Chomsky-Hierarchie
Kontextfreie Grammatiken und Kontextfreie Sprachen
Kellerautomaten
Lernziele und Kompetenzen:
Die Studierenden
erwerben fundierte Kenntnisse über die Grenzen der Berechenbaren, insbesondere lernen sie, wie man beweist, dass bestimmte Aufgaben unlösbar sind bzw. dass sie vermutlich nicht schnell gelöst werden können;
lernen die wesentlichen Techniken kennen, mit denen man Programmiersprachen beschreiben und syntaktisch korrekte Programme erkennen kann;
erwerben fundierte Kenntnisse in den Beweis- und Analyse-Methoden der algorithmisch orientierten Theoretischen Informatik
Literatur:
Studien-/Prüfungsleistungen:
Berechenbarkeit und Formale Sprachen (Vorlesung mit Übungen) (Prüfungsnummer: 30101)
(englischer Titel: Theory of Computation and Formal Languages)
zugeh. "mein campus"-Prüfung: | - 30101 Berechenbarkeit und Formale Sprachen (Gewichtung: 100.0 %, Prüfung, Form: Klausur, Drittelnoten (mit 4,3), Dauer: 90, 5 ECTS, Prüfung).
|
- Prüfungsleistung, Klausur, Dauer (in Minuten): 90, benotet
- Anteil an der Berechnung der Modulnote: 100.0 %
- Erstablegung: WS 2021/2022, 1. Wdh.: SS 2022
1. Prüfer: | Rolf Wanka (100367) |
- Termin: 13.04.2022, 11:00 Uhr, Ort: BASPH
Termin: 08.08.2022
Termin: 08.08.2022
Übungen zu Berechenbarkeit und Formale Sprachen (Prüfungsnummer: 30102)
(englischer Titel: Theory of Computation and Formal Languages (Exercises))
zugeh. "mein campus"-Prüfung: | - 30102 Übung Berechenbarkeit und Formale Sprachen (Studienleistung, Form: Übungsleistung, unbenotet, Dauer: -, 2.5 ECTS, Prüfung).
|
- Studienleistung, Übungsleistung, unbenotet
- weitere Erläuterungen:
Zum erfolgreichen Absolvieren der Übungsleistung werden gefordert:
- Erstablegung: WS 2021/2022, 1. Wdh.: WS 2022/2023
1. Prüfer: | Rolf Wanka (100367) |
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|