Term Rewriting Systems

2018-2019
Dit vak wordt in het Engels aangeboden. Omschrijvingen kunnen daardoor mogelijk alleen in het Engels worden weergegeven.

Doel vak

Learning the fundamental notions of term rewriting and getting
acquainted with some more advanced topics in the field.

Inhoud vak

Term rewriting systems (TRSs) provide for a natural formalism for
specifying rules of computation and investigating their properties. TRSs
are of basic importance for functional programming and for the
implementation of abstract data types. Applications can also be found in
theorem proving, proof checking and logic programming. Some topics that
will be covered in the course are:
- abstract reduction systems
- term rewriting
- combinatory logic
- termination (rpo's, monotone algebras)
- confluence, critical pairs, orthogonality
- Knuth-Bendix completion
- strategies
- modularity
- decidability issues
- infinitary rewriting

Onderwijsvorm

Lectures and practice sessions

Toetsvorm

Written examination

Literatuur

Course notes will be provided

Doelgroep

mCS, mPDCS, mAI, mMath

Algemene informatie

Vakcode XM_400121
Studiepunten 6 EC
Periode P4
Vakniveau 400
Onderwijstaal Engels
Faculteit Faculteit der Bètawetenschappen
Vakcoördinator drs. J. Endrullis
Examinator drs. J. Endrullis
Docenten drs. J. Endrullis

Praktische informatie

Voor dit vak moet je zelf intekenen.

Voor dit vak kun je last-minute intekenen.

Werkvormen Werkcollege, Hoorcollege
Doelgroepen

Dit vak is ook toegankelijk als: