Grundlagen der Informatik I “Programmierung”

Abbildungsverzeichnis
2.1 Syntax der arithmetischen Ausdrücke in Infix-Form . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2 Syntax der arithmetischen Ausdrücke, mehrdeutige Version . . . . . . . . . . . . . . . . . . . . . . 30
2.3 Syntax der arithmetischen Ausdrücke in Prefix-Form . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.4 Syntaxdiagramme für die arithmetischen Ausdrücke . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.5 Syntax der Aussagenlogik (mit voller Klammerung) . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.6 Syntax der Aussagenlogik (Klammerung nur soweit notwendig) . . . . . . . . . . . . . . . . . . . . 33
2.7 Wahrheitstafel für die Aussagenlogik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.8 Semantik aussagenlogischer Formeln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.9 Konversionsregeln für die Aussagenlogik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.10 Kalkül für die Aussagenlogik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.11 Zusammenhang zwischen Syntax, Semantik und Ableitungssystem . . . . . . . . . . . . . . . . . . . 42
2.12 Syntax der Prädikatenlogik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.13 Semantik prädikatenlogischer Formeln mit endlichen Bereichen . . . . . . . . . . . . . . . . . . . . 47
2.14 Ableitungskalkül für die Prädikatenlogik 1. Stufe . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.15 Syntax von DREIWERT (Klammerung nur soweit notwendig) . . . . . . . . . . . . . . . . . . . . . 50
2.16 Semantik der dreiwertigen Logik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.17 Spezielles Vokabular der Metasprache . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.1 Ein einfaches Objekt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.2 Objekt in einem Objekt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3.3 Verweise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3.4 Listen als abstrakter Datentyp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.5 Eine einfache Klassendefinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.6 Verhältnis von Klassen und Objekten . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
3.7 Klassendefinition mit implizitem Verweis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
3.8 Klassendefinition mit Selbstreferenz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.9 Zyklische Objektstruktur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.10 Klassendefinition mit Routinen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
3.11 Routinendeklaration mit lokalen Variablen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
3.12 Standardinitialwerte in Abhängigkeit vom Datentyp . . . . . . . . . . . . . . . . . . . . . . . . . . 74
v