EN | DE
Theoretische Informatik

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

Hilfsmaterialen

  • multisets.pdf — der Beweis, dass die Multimengenordnung eine wohlfundierte Ordnung ist.
  • cl.md — Kombinatorische Logik in Maude.

Literatur