Inhaltsverzeichnis

Vorwort

Zum Gebrauch dieses Buches

Aufgaben

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 die Semantikdefinition

4.2 Spezifikation und Verifikation von Programmen

4.3 Test

5. Programmierparadigmen

6. Datenstrukturen und Algorithmen

6.1 Effizienz und Komplexität

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

Tips

Lösungen

Aufgabentabelle

Index