703141 VU Term Rewriting

winter semester 2023/2024 | Last update: 28.03.2024 Place course on memo list
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
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