Einführung in die Informatik : Skriptum Informatik I, II. 3., durchgesehene Aufl.

Abstract

Dieses Skriptum dokumentiert drei Jahre Einführungsvorlesung für Informatik-Studenten an der ETH Zürich (1985-1987, jeweils 3h Vorlesung und 2h Übungen in zwei Semestern). Es wird seit dem Herbst 1988 an der Universität Stuttgart in der entsprechenden Lehrveranstaltung eingesetzt. Schwerpunkt der Vorlesung und damit des Skripts ist natürlich die Einführung in die Programmierung, und zwar mit MODULA-2. Ich halte es für wichtig, daß diese Einführung gründlich und in aller Ruhe gegeben wird. Darüber hinaus habe ich versucht, gewisse Aspekte des Software Engineerings in die Vorlesung zu bringen, vor allem· durch die eingehende Behandlung der Datenabstraktion, die frühe Einführung des Verifikationsgedankens und durch ostinate Hinweise zur Strukturierung und Dokumentation.