Kapitel 2: Prozedurale Abstraktion

Inhalt:

• 2.1 Grundlagen der Prozeduralen Abstraktion

• 2.2 Programmelemente (1)

• 2.3 Programmelemente (2)

• 2.4 Prozeduren und Prozesse

• 2.5 Korrektheit von Programmen

• 2.6 Terminierung von Programmen

• 2.7 Aufwandabschätzung und Komplexität

• 2.8 Abstraktionen mit Prozeduren höherer Ordnung

• 2.9 Primitive Rekursion

• 2.10 Berechenbarkeit