703141 VU Term Rewriting
winter semester 2023/2024 | Last update: 28.03.2024 | Place course on memo listUniv.-Prof. Dr. Aart Middeldorp
Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
Fabian Sebastian Mitterwallner, MSc Fabian Sebastian Mitterwallner, MSc, +43 512 507 53410
Fabian Sebastian Mitterwallner, MSc Fabian Sebastian Mitterwallner, MSc, +43 512 507 53410
703141
VU Term Rewriting
VU 3
5
weekly
annually
English
Students who completed this module 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.
Abstract rewrite systems; equational logic; term rewrite systems and their properties; termination; confluence; completion; strategies.
Continuous assessment based on regular written and oral contributions. An optional written test is offered at the end of the course.
Course notes will be made available from the accompanying web site.
none
This course is highly recommended for students that wish to learn more about an important research topic in the Computational Logic research group.
see dates
- 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 2023-10-02
|
12.15 - 14.45 | HS 11 HS 11 | Barrier-free | |
Mon 2023-10-09
|
12.15 - 14.45 | HS 11 HS 11 | Barrier-free | |
Mon 2023-10-16
|
12.15 - 14.45 | HS 11 HS 11 | Barrier-free | |
Mon 2023-10-23
|
12.15 - 14.45 | HS 11 HS 11 | Barrier-free | |
Mon 2023-10-30
|
12.15 - 14.45 | HS 11 HS 11 | Barrier-free | |
Mon 2023-11-06
|
12.15 - 14.45 | HS 11 HS 11 | Barrier-free | |
Mon 2023-11-13
|
12.15 - 14.45 | HS 11 HS 11 | Barrier-free | |
Mon 2023-11-20
|
12.15 - 14.45 | HS 11 HS 11 | Barrier-free | |
Mon 2023-11-27
|
12.15 - 14.45 | HS 11 HS 11 | Barrier-free | |
Mon 2023-12-04
|
12.15 - 14.45 | HS 11 HS 11 | Barrier-free | |
Mon 2023-12-11
|
12.15 - 14.45 | HS 11 HS 11 | Barrier-free | |
Mon 2024-01-08
|
12.15 - 14.45 | HS 11 HS 11 | Barrier-free | |
Mon 2024-01-15
|
12.15 - 14.45 | HS 11 HS 11 | Barrier-free | |
Mon 2024-01-22
|
12.15 - 14.45 | HS 11 HS 11 | Barrier-free | |
Mon 2024-01-29
|
12.15 - 14.45 | HS 11 HS 11 | Barrier-free |