Grundlegende Elemente des Programmierens Eine Einführung in Pascal und in die logische Analyse von Programmen

Das vorliegende Manuskript entstand aus Uber 20 Vorlesungen und Kursen, die der Verfasser in den letzten Jahren an der PH und FH Reutlingen sowie fUr die Integrata GmbH, TUbingen, und das Digital Equipment Schulungszentrum MUnchen gehalten hat. Es richtet sich sowohl an Anfanger als auch an Leser mit Erfahrungen im Programmieren. Da keinerlei Vorkenntnisse Uber das Programmieren vorausgesetzt werden, sind viele Teile fUr einen Leser mit Programmiererfahrungen einfach zu lesen. In meinen Kursen hat sich aber gezeigt, daB die dargestellten Verfahren zur Analyse von Programmen auch fUr die meisten Programmierer mit mehrjahriger Berufspraxis neu waren und als fUr die praktische Arbeit sehr nUtzlich begrUBt wurden. Der vorliegende Text ist in zwei weitgehend unabhangige Teile gegliedert. Das erste Kapitel des ersten Teils gibt einen knappen Uberblick Uber den Aufbau und die Arbeitsweise eines Computers. 1m zweiten Kapitel werden die am weitesten verbreiteten Systeme zur Entwicklung von Pascalprogrammen auf Personalcomputern vorgestellt. Da allerdings im zweiten Teil fast nirgendwo auf den ersten Teil Bezug genommen wird, kann der erste Teil auch Ubergangen werden. 1m zweiten Teil (dem eigentlichen Hauptteil) findet der Leser eine EinfUhrung in die Programmiersprache Pascal und in die Analyse von Programmen. Dabei werden die Besonderheiten von UCSD Pascal, Apple Pascal und Turbo Pascal berUcksichtigt.