Lehrveranstaltungen


Erweiterte Suche|Zurücksetzen
Wahlmodul 13: Termersetzungssysteme (5 ECTS-AP, 3 SSt.)
Anmeldevoraussetzung: keine
Lernergebnisse: Absolventinnen und Absolventen dieses Moduls verstehen die Konzepte von
Termersetzungssystemen als formales Berechnungsmodell, welches die Grundlage für die funktionale Programmierung darstellt. Zudem lernen sie wesentliche Eigenschaften von Termersetzungssystemen kennen, sowie Methoden, um diese Eigenschaften nachzuweisen.
Zur übergeordneten Rubrik
ML
703125
Termersetzungssysteme (VO / 2h / 3 ECTS-AP)
Aart Middeldorp
Details zu dieser Lehrveranstaltung
ML
703126
Termersetzungssysteme (PS / 1h / 2 ECTS-AP)
Franziska Gabriele Rapp
Details zu dieser Lehrveranstaltung