703141 VU Term Rewriting
Sommersemester 2026 | Stand: 10.12.2025 | LV auf Merkliste setzenAbsolventinnen 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.
Bezug zu Aurora Pilot Domains/Hubs und Interdisziplinarität. Funktionale Programmierung wird in Sprachen wie JavaScript und F# verwendet. Diese sind von fundamentalem Interesse für eine digitale Gesellschaft, weil sie insbesondere zum Betrieb von Internet-Browsern genutzt werden, Stichwort WebAssembly. Dieser Kurs hat starken Bezug zur Mathematik, z.B. sind gewisse Fragestellungen in der Termersetzung eine Verallgemeinerte Version des Gleichungslösens. Des Weiteren ist Buchberger's Algorithmus aus der modernen Computer-Algebra verwandt mit dem Vervollständigungs Algorithmus in der Termersetzung.Abstrakte Reduktionssysteme; Gleichungslogik; Termersetzungsysteme und ihre Eigenschaften; Terminierung; Konfluenz; Vervollständigung; Strategien
Continuous assessment based on exercise sessions. A written test is offered at the end of the course.
Course notes will be made available to registered students.
keine
Allocation of places in courses with a limited number of participants (PS, SE, VU, PJ)
In courses with a limited number of participants, course places are allocated as follows:
1. Students for whom the study duration would be extended due to the postponement are to be given priority.
2. If the criteria in no. 1 do not suffice, first, students for whom this course is part of a compulsory module are to be given priority, and second, students for whom this course is part of an elective module.
3. If the criteria in no. 1 and 2 do not suffice, the available places are drawn by random.
- Fakultät für Mathematik, Informatik und Physik
- SDG 4 - Hochwertige Bildung: Inklusive, gleichberechtigte und hochwertige Bildung gewährleisten und Möglichkeiten lebenslangen Lernens für alle fördern
- SDG 9 - Industrie, Innovation und Infrastruktur: Eine widerstandsfähige Infrastruktur aufbauen, breitenwirksame und nachhaltige Industrialisierung fördern und Innovationen unterstützen
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 02.03.2026
|
15.30 - 18.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 09.03.2026
|
15.30 - 18.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 16.03.2026
|
15.30 - 18.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 23.03.2026
|
15.30 - 18.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 13.04.2026
|
15.30 - 18.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 20.04.2026
|
15.30 - 18.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 27.04.2026
|
15.30 - 18.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 04.05.2026
|
15.30 - 18.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 11.05.2026
|
15.30 - 18.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 18.05.2026
|
15.30 - 18.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 01.06.2026
|
15.30 - 18.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 08.06.2026
|
15.30 - 18.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 15.06.2026
|
15.30 - 18.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 22.06.2026
|
15.30 - 18.00 | HS 11 HS 11 | Barrierefrei | |
| Gruppe | Anmeldefrist | Prüfungsdatum | |
|---|---|---|---|
|
703141-0
703141-0 |
18.05.2026 00:00 - 15.06.2026 23:59 |
22.06.2026
15:30 - 18:00
HS 11
|
|
|
Hinweis: test |
Dablander P., Middeldorp A. | ||