Mehr als nur Programmieren���

Dieses Buch richtet sich an Menschen die sich bislang nicht mit Fragen der Informatik beschaftigt haben sich aber daftir interessieren. Zum Verstandnis werden keine informa- tikspezifischen Vorkenntnisse benOtigt. Die beiden Teile des Buches - Grundbegriffe des Programmierens und Formale und ethische Grenzen - konnen bei entsprechenden Vorkenntnissen unabhangig voneinander bearbeitet werden. Den Anfang bildet eine EinfUhmng in die Programmiersprache Pascal; wir versuchen allerdings nicht ein vollstandiges Pascal-Lehrbuch zu ersetzen. Die Vorstel- lung von Pascal erfolgt nur insoweit als die Sprache benotigt wird urn gewisse Prinzipien von Algorithmen zu beschreiben. Den Zweck der Sprachbestandteile illustrieren wir durch ihre Verwendung in einem iiber die ersten beiden Kapitel hinweg entstehenden Programm dem sogenannten Spiel des Lebens. Dabei werden Besonderheiten und Schwierigkeiten besprochen die bei der Programmierung vor allem von nicht ganz trivialen Programmen auftreten konnen. Die Kapitel iiber die Programmierung werden mit einer Vorstellung von Sortieralgorithmen beendet die ebenfalls im Kontext des Spiels des Lebens Ver- wen dung finden. 1m dritten Kapitel wird eine kurze EinfUhmng in die Funktionsweise eines Rechners auf der Hardwareebene gegeben. Das nli. chste Kapitel befaBt sich mit der Aussagenlogik und Pradikatenlogik die als Hilfsmittel zur Spezifikation benotigt werden. Die Spezifikation von Algorithmen ist damit das Haupthema dieses Kapitels. 1m fUnften Kapitel geht es urn die Fragen der Korrektheit eines Programms. Der Aufwand eines Algorithmus ist Thema des sechsten Kapitels. 1m letzten Kapitel schlieBlich geht es urn einige nichtbeabsichtigte Auswirkungen der Informatik.