inf458 - Termersetzungssysteme (Vollständige Modulbeschreibung)
Modulbezeichnung | Termersetzungssysteme |
Modulkürzel | inf458 |
Kreditpunkte | 6.0 KP |
Workload | 180 h |
Einrichtungsverzeichnis | Department für Informatik |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Teilnahmevoraussetzungen | Keine Teilnehmervoraussetzungen |
Kompetenzziele | Einführung in Termersetzungssysteme, Termination und Konfluenz. Nachweis der Unentscheidbarkeit des Terminations- und Konfluenzproblems, Verfahren zum Nachweis von Termination und Konfluenz. Fachkompetenzen Die Studierenden:
Die Studierenden:
Die Studierenden:
Die Studierenden:
|
Modulinhalte | Die LV führt in den Bereich der Termersetzungssysteme ein und stellt Methoden zum Nachweis der Termination und Konfluenz vor. Es werden Termersetzungssysteme, Termination und Konfluenz eingeführt, die Unentscheidbarkeit des Terminations- und Konfluenzproblems gezeigt und die Entscheidbarkeit der Probleme für spezielle Termersetzungssysteme nachgewiesen. In diesem Zusammenhang werden u.a. Reduktions- und Simplifikationsordnungen eingeführt, kritische Paare betrachtet, Orthogonalität untersucht, Huet's Vervollständigungsprozedur vorgestellt und Kombination von Systemen gebildet. |
Literaturempfehlungen |
|
Links | |
Unterrichtssprache | Deutsch |
Dauer in Semestern | 1 Semester |
Angebotsrhythmus Modul | im 2-Jahres-Zyklus |
Aufnahmekapazität Modul | unbegrenzt |
Hinweise | Blockveranstaltung |
Lehr-/Lernform | 1VL + 1Ü |
Vorkenntnisse | keine |
Lehrveranstaltungsform | Kommentar | SWS | Angebotsrhythmus | Workload Präsenz |
---|---|---|---|---|
Vorlesung | 3 | WiSe | 42 | |
Übung | 1 | WiSe | 14 | |
Präsenzzeit Modul insgesamt | 56 h |
Prüfung | Prüfungszeiten | Prüfungsform |
---|---|---|
Gesamtmodul | Am Ende der Vorlesungszeit |
Fachpraktische Übungen und Klausur oder Fachpraktische Übungen und mündliche Prüfung |