This page in English  Lehr- und Forschungsgebiet Informatik II  Fachgruppe Informatik RWTH

Termersetzungssysteme

(V4 + Ü2, SS 2004)

LuFG Informatik II
Art Termine/Ort Veranstalter
V4 Di 10:00 - 11:30 AH III Prof. Dr. Jürgen Giesl
  Fr 10:00 - 11:30 AH II  
Ü2 Mi 11:45 - 13:15 AH II Prof. Dr. Jürgen Giesl, René Thiemann


Aktuelles



Inhalt

Termersetzungssysteme dienen zum Rechnen und automatischen Beweisen mit Gleichungen. Außerdem sind Termersetzungssysteme die Basis-Programmiersprache, die allen funktionalen Programmiersprachen zugrunde liegt. Termersetzungssysteme werden daher in vielen Bereichen wie der automatisierten Programmverifikation, der Spezifikation von Programmen und der deklarativen Programmierung eingesetzt. In der Vorlesung werden Verfahren vorgestellt, um folgende Fragestellungen rechnergestützt zu untersuchen:


Sprache

deutsch


Literatur


Zuordnung

Theoretische Informatik, Informatik Vertiefung


Scheinklausur


Übungen

Für den Übungsschein müssen 49% der Punkte in den Übungen erreicht werden und die Scheinklausur (s. oben) muss bestanden werden. Den Erwerb eines Übungsscheines empfehlen wir sehr, da dies eine gute Vorbereitung für die Diplomprüfung darstellt. Die Übungsblätter sollen in Zweiergruppen bearbeitet werden und werden jeweils am Mittwoch vor Beginn der Übung eingesammelt.
Hier geht es zur Liste mit den Punkten aus den Übungen. Alle Musterlösungen gibt es im Sekretariat als Kopiervorlage.

Folien

Hier sind die in den Vorlesungen verwendeten Folien erhältlich.

Last modified: Fri Jul 2 18:49:18 CEST 2004 / Lehr- und Forschungsgebiet Informatik II
RWTH Aachen