============================
-    Informatik-CD 2002    -
============================

Diese CD umfasst Tools und Übungsumgebungen für einige Informatik-Lehrveranstaltungen 
im Studienjahr WS02/SS03. Folgende Ordner zu Lehrveranstaltungen sind zu finden:

dke   ... Data & Knowledge Engineering
esop  ... Einführung in die strukturierte und objektorientierte Programmierung
llop  ... Logik und logische Programmierung
spezi ... Spezifikation und Verifikation

Der Ordner "tools" enthält allgemeine Tools für die gängigsten Betriebssysteme. In
manchen dieser Ordner sind weitere READMEs zu finden, die einen kurzen Überblick
über deren Inhalt geben.


Institute für Informatik 2002