Grundlagen der Informatik I “Programmierung”

2.2.4 Semantik der Prädikatenlogik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.2.5 Ableitungskalkül für die Prädikatenlogik . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.2.6 Dreiwertige Logik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.3 Formale Beschreibung von Programmiersprachen . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.3.1 Funktionen und zusammengesetzte Ausdrücke . . . . . . . . . . . . . . . . . . . . . . . 51
2.3.2 Bedingte Ausdrücke . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.3.3 Abkürzungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.3.4 Tabellen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.3.5 Listen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.4 Diskussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.5 Ergänzende Literatur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3 Klassen und Objekte 59
3.1 Objekte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.1.1 Einfache Objekte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.1.2 Verweise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.2 Klassen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.2.1 Abstrakte Datentypen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.2.2 Klassen in Eiffel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.2.3 Typen und Verweise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
3.2.4 Kunden, Lieferanten und Selbstreferenz . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.3 Routinen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
3.3.1 Aufruf von Routinen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
3.3.2 Definition von Routinen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
3.3.3 Lokale Variablen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3.3.4 Standardoperationen für alle Klassen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
3.3.5 Das aktuelle Exemplar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
3.3.6 Nicht-standardmäßiges Erzeugen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
3.4 Das Geheimnisprinzip . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3.5 Copy- und Referenz-Semantik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
3.5.1 Einfache Typen und Klassentypen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
3.5.2 mssxexpanded: Klassen mit Copy-Semantik . . . . . . . . . . . . . . . . . . . . . . . . 84
3.6 Generische Klassen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3.6.1 Parametrisierung von Klassen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3.6.2 Typprüfung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
3.6.3 Felder: Beispiele generischer Klassen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
3.7 Verträge für Software-Zuverlässigkeit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89