Diese Seite auf Deutsch  Research Group Computer Science 2  Dept. of Computer Science RWTH

Term Rewriting Systems

(V3 + Ü2, WS 2015/16)

LuFG Informatik 2
Course Times/RoomInstructor
V3Tue 08:30 - 10:00 AH 3Prof. Dr. Jürgen Giesl
 Thu 12:15 - 13:45 AH 4 
Ü2Fri 12:15 - 13:45 AH 1Prof. Dr. Jürgen Giesl, Florian Frohn

If you have any question, please write to florian.frohn@cs.rwth-aachen.de!


Course of Studies

This lecture is suitable for the following students: This lecture is also particularly suitable for a combination with "Functional Programming" and "Logic Programming" in a depth oral colloquium (Schwerpunktkolloquium) for students of Master Informatik and Master SSE.


Theoretical Computer Science, Theoretical Foundations of SSE



Course Notes

The course notes are available here (in German): Course Notes (Version of September 22, 2011)
You can also find inofficial video recordings (in German) of a part of the lecture in 2004 provided by Fachschaft I/1 MPI.


Term rewriting systems are used for computations and mechanized proofs with equations. All functional programming languages are based on term rewriting systems, too. Therefore, term rewriting systems are used in many areas like automated program verification, specification of programs, and declarative programming. The following questions will be discussed in the lecture.



The exercises have to be solved in groups of two. 50% of the points on the exercise sheets are needed in order to take part in the final exam. The exercises can be solved in either German or English.


Here are the transparencies used in the lecture.


Here are the notes from the lecture.


There will be a written exam on the lecture. It takes place on February 22, 2016.

Old Exams

Here you find two exams from the 2004, 2006/2007, and 2011 lectures on term rewrite systems (in German). However, as the computer science curriculum has been changed since these exams took place, the conditions for these exams were different from the ones for the exam we will have in this lecture. First, the exams in 2004 and 2006/2007 were not designed to determine the final grade for the term rewrite systems course, but only for the acquisition of the Übungsschein. Second, they only took 90 minutes, while our exam will take 120 minutes. The exam in 2011 did not cover the full content of the lecture (e.g., implicit induction was missing from this exam), whereas in 2016 the written exam will cover the full content of the lecture. Keep these differences in mind when practicing with the old exams. Furthermore, we strongly recommend that you solve the old exams without looking into the solutions first and that you also respect the time limit of 90 minutes for the exams from 2004 and 2006/2007.

Disclaimer   Research Group Computer Science 2  Dept. of Computer Science RWTH