Table of Contents

1. Grundlagen.- 1.1 Algorithmus und Berechenbarkeit.- 1.2 Sprache und Grammatik.- 1.3 Rechner.- 1.4 Informatik als Wissenschaft.- 2. Imperative Programmierung — die Sprache MODULA-2.- 2.1 Syntaxdarstellungen.- 2.2 Elementare funktionale Modula-2-Programme.- 2.3 Iterative Programme.- 2.4 Komplexe Datentypen.- 3. Abstraktion.- 3.1 Abstraktionskonzepte in Programmiersprachen.- 3.2 Abstraktion in MODULA-2.- 4. Semantik, Verifikation und Test.- 4.1 Konzepte für eine Semantikdefinition.- 4.2 Spezifikation und Verifikation von Programmen.- 4.3 Test.- 5. Programmierparadigmen und -sprachen.- 5.1 Programmierparadigmen.- 5.2 Übersicht über Programmiersprachen.- 6. Datenstrukturen und Algorithmen.- 6.1 Komplexität und Effizienz.- 6.2 Graphen und Bäume.- 6.3 Suchen in gegebenen Datenstrukturen.- 6.4 Datenorganisationen für effizientes Suchen.- 6.5 Sortieren.- 6.6 Speicherverwaltung.- Anhang A: Mathematische Grundbegriffe und Formeln.- Anhang B: Syntaxdiagramme für MODULA-2.- Literatur.- Abkürzungsverzeichnis.- MODULA-2-Index.