703141 VU Term Rewriting
winter semester 2022/2023 | Last update: 19.12.2022 | Place course on memo listChristina Kirk, BSc MSc
Christina Kirk, BSc MSc, +43 512 507 53343
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
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
- Faculty of Mathematics, Computer Science and Physics
- 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 2022-10-03
|
12.15 - 15.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2022-10-10
|
12.15 - 15.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2022-10-17
|
12.15 - 15.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2022-10-24
|
12.15 - 15.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2022-10-31
|
12.15 - 15.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2022-11-07
|
12.15 - 15.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2022-11-14
|
12.15 - 15.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2022-11-21
|
12.15 - 15.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2022-11-28
|
12.15 - 15.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2022-12-05
|
12.15 - 15.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2022-12-12
|
12.15 - 15.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2023-01-09
|
12.15 - 15.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2023-01-16
|
12.15 - 15.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2023-01-23
|
12.15 - 15.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2023-01-30
|
12.15 - 15.00 | HS 11 HS 11 | Barrier-free | |