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

Term Rewriting Systems

(V3 resp. 4 + Ü2, SS 2011)

LuFG Informatik 2
Course Times/RoomInstructor
V4Mon 15:45 - 17:15 AH 3Prof. Dr. Jürgen Giesl
 Fri 10:00 - 11:30 AH 2 
Ü2Wed 11:45 - 13:15 AH 2Prof. Dr. Jürgen Giesl, Marc Brockschmidt, Carsten Fuhs, Thomas Ströder


This is a 3-hour lecture for the following students (counting as 6 ECTS for students of computer science and SSE, and as 7 ECTS for students of mathematics): This is a 4-hour lecture for the following students:

Compared to the 4-hour lecture, the following material is missing in the 3-hour lecture: If you have any questions, please contact the mailing list tes11@i2.informatik.rwth-aachen.de, which is read by the three teaching assistants. More contact information can be found on the homepage of LuFG I2.

Course Notes

The course notes are available here (in German): Course Notes (Version of September 22, 2011)


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 mechanized program verification, specification of programs and declarative programming. The following questions will be discussed in the course.


The course is given in English or German.



Theoretical Computer Science, Area of Specialization

Old Exams

Here you find two exams from the 2004 and the 2006/2007 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 old exams 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. Third, the exams covered the V4 version of the lecture, whereas for this course the written exam will cover the V3 version 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.

The exam on the 2011 lecture is now available, too. The time limit for the exam was 120 minutes.


For students of Diplom Informatik and Diplom Mathematik: To get a certificate for this course (Übungsschein) you must reach at least 50% of the points on the exercise sheets. In general, we advise all Diploma students to work towards the certificate. Working on the exercises is a good preparation for the final oral exam.
For all other students 50% of the points on the exercise sheets are needed in order to take part in the final exam.

In order to take part in the exercises, please sign up here.

The exercise sheets can be downloaded here.


Here are the transparencies used in the lecture.


There will be a written exam on the lecture. It takes place on August 17, 2011. The second written exam will take place on September 26, 2011.

Registration for the Exam

Disclaimer  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH