703125 VO Term Rewriting
summer semester 2019 | Last update: 29.03.2019 | Place course on memo list703125
VO Term Rewriting
VO 2
3
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.
Lecture, assessment is based on a single examination at the end of the course.
written exam
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
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Mon 2019-03-04
|
14.15 - 16.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-03-11
|
14.15 - 16.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-03-18
|
14.15 - 16.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-03-25
|
14.15 - 16.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-04-01
|
14.15 - 16.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-04-08
|
14.15 - 16.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-04-29
|
14.15 - 16.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-05-06
|
14.15 - 16.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-05-13
|
14.15 - 16.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-05-20
|
14.15 - 16.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-05-27
|
14.15 - 16.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-06-03
|
14.15 - 16.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-06-17
|
14.15 - 16.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-06-24
|
14.15 - 16.00 | HS 11 HS 11 | Barrier-free | |
|
Thu 2019-09-26
|
09.15 - 13.30 | HSB 3 HSB 3 | Barrier-free | 2nd exam |