Arbeitsgruppe Rechnergestützte Programmentwicklung

Skripte

  • Algebraische Spezifikation und unterstützende Werkzeuge: Diese Version stammt aus dem Sommersemester 2001.
  • Formale Methoden der Programmierung und unterstützende Werkzeuge: Diese Version stammt aus dem Wintersemester 2005/06.
  • Informatik I (hier als pdf): Die ursprüngliche Version stammt aus dem Wintersemester 2004/05. Sie ist auch die Grundlage für die Vorlesung Informatik I im Wintersemester 2006/07
  • Informatik I & II: Aus den Studienjahren 1994/1995, 1996/1997 und 1998/1999.
  • Das Skript zur Vorlesung "Semantik von Programmiersprachen" ist 2001 als Buch beim Logos-Verlagerschienen und kann daher nicht mehr bereitgestellt werden. Das Buch kann in der Fachbibliothek Mathematik und Informatik eingesehen.
  • Die Skripte zu den Vorlesungen "Ordnungen und Verbände" und "Relationale Methoden in der Informatik" sind als gemeinsames Buch erschienen und können daher nicht mehr bereitgestellt werden. Das Buch kann in der Fachbibliothek Mathematik und Informatik eingesehen werden.