Termersetzungssysteme (SoSe 2014)
| Dozent | Sergey Goncharov |
| Vorlesung | Mi 10:15 – 11:45 (02.133-113) |
| Übungen | Do 12.15 – 13:45 (11.150-113) |
| Zielgruppe | WF M-BA ab 3 (ECTS-Credits: 7,5) WPF INF-BA-V-THI ab 4 (ECTS-Credits: 7,5) WPF INF-MA ab 7 (ECTS-Credits: 7,5) WF M-MA ab 7 (ECTS-Credits: 7,5) |
Für eine Kursbeschreibung, siehe: Term Rewriting Systems, bzw. Univis-Eintrag.
Erste Vorlesung: 9.04.
Übungsblätter
-
Übungsblatt 1 (Abgabe der Lösungen im Tutorium am 16.04.)
-
Übungsblatt 2 (Abgabe der Lösungen im Tutorium am 23.04.)
-
Übungsblatt 3 (Abgabe der Lösungen im Tutorium am 30.04.)
-
Übungsblatt 4 (Abgabe der Lösungen im Tutorium am 14.05.)
-
Übungsblatt 5, Codevorlage (Abgabe der Lösungen im Tutorium am 21.05.)
-
Übungsblatt 6 (Abgabe der Lösungen im Tutorium am 4.06.)
-
Übungsblatt 7 (Abgabe der Lösungen im Tutorium am 11.06.)
-
Übungsblatt 8 (Abgabe der Lösungen im Tutorium am 17.06.)
-
Übungsblatt 9 (Abgabe der Lösungen im Tutorium am 2.07.)
-
Übungsblatt 10 (Abgabe der Lösungen per EMail am 9.07.)
Hilfsmaterialen
-
multisets.pdf — der Beweis, dass die Multimengenordnung eine wohlfundierte Ordnung ist.
-
cl.md — Kombinatorische Logik in Maude.
Literatur
-
Baader, Franz; Nipkow, Tobias (1998). Term Rewriting and All That. Cambridge University Press.
-
Marc Bezem, Jan Willem Klop, Roel de Vrijer (“Terese”), Term rewriting systems, Cambridge University Press, 2003.