703141 VU Term Rewriting
summer semester 2026 | Last update: 10.12.2025 | Place course on memo listStudents who completed this course understand the concept of term rewrite systems as formal computation model, which forms the basis of functional programming. They know important properties of term rewrite systems as well as methods to establish these properties.
Relation to Aurora pilot domains/hubs and multidisciplinarity. Functional programming is used in programming languages such as JavaScript and F#. Since these languages are used to run webbrowsers (cf. WebAssembly), they are highly relevant for a digital society. This course has strong relationships to mathematics, e.g., certain aspects of term rewriting can be understood as a generalized form of equations solving. Moreover, Buchberger's algorithm from modern computer algebra is related to the completion algorithm in term rewriting.Abstract rewrite systems; equational logic; term rewrite systems and their properties; termination; confluence; completion; strategies.
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.
None
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.
- SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.
- SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Mon 2026-03-02
|
15.30 - 18.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-03-09
|
15.30 - 18.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-03-16
|
15.30 - 18.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-03-23
|
15.30 - 18.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-04-13
|
15.30 - 18.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-04-20
|
15.30 - 18.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-04-27
|
15.30 - 18.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-05-04
|
15.30 - 18.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-05-11
|
15.30 - 18.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-05-18
|
15.30 - 18.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-06-01
|
15.30 - 18.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-06-08
|
15.30 - 18.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-06-15
|
15.30 - 18.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-06-22
|
15.30 - 18.00 | HS 11 HS 11 | Barrier-free | |
| Group | Booking period | Date of exam | |
|---|---|---|---|
|
703141-0
703141-0 |
2026-05-18 00:00 - 2026-06-15 23:59 |
2026-06-22
15:30 - 18:00
HS 11
|
Register exam |
|
Note: test |
Dablander P., Middeldorp A. | ||