703126 PS Term Rewriting
summer semester 2019 | Last update: 18.03.2019 | Place course on memo list703126
PS Term Rewriting
PS 1
2
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/or oral contribution by participants).
Course examination according to § 7, statute section on "study-law regulations"
Course notes will be made available from the accompanying web site.
none
see dates
- Faculty of Mathematics, Computer Science and Physics
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Mon 2019-03-11
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-03-18
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-03-25
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-04-01
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-04-08
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-04-29
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-05-06
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-05-13
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-05-20
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-05-27
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-06-03
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-06-17
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2019-06-24
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |