Grundlagen der Informatik I “Programmierung”

Weitere Magazine

Empfehlungen

Info

3.13 Klassendefinition mit Initialisierungsprozedur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78 3.14 Vordefinierte Operationen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79 3.15 Klassendefinition mit Datenkapselung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80 3.16 Klassendefinition mit selektivem Export von Features . . . . . . . . . . . . . . . . . . . . . . . . . 81 3.17 Semantik von Eiffel-Typen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 3.18 Klassendefinition mit mssxexpanded . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84 3.19 Generische Klassendefinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 3.20 Regeln für formale generische Parameter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87 3.21 Klassendefinition für Felder (mit mssxinfix Deklaration) . . . . . . . . . . . . . . . . . . . . . . . . 88 3.22 boolesche Ausdrücke in Eiffel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90 3.23 Klassendefinition mit Vor- und Nachbedingungen . . . . . . . . . . . . . . . . . . . . . . . . . . . 92 3.24 Nachbedingung mit mssxold . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92 3.25 Klassendefinition mit Klasseninvarianten . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 3.26 Klassendefinition mit unvollständigen Zusicherungen . . . . . . . . . . . . . . . . . . . . . . . . . 95 3.27 Klassendefinition mit Vererbung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97 3.28 Vererbung als Diagramm: ENTLEIHER und ARBEITNEHMER erben von PERSON . . . . . . . . . . . . . . 97 3.29 Klassendefinition mit Export geerbter features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98 3.30 Klassendefinition mit selektivem Export geerbter features . . . . . . . . . . . . . . . . . . . . . . . 99 3.31 Vererbung und Datenkapselung: Verschiedene Sichten auf eine Datenstruktur . . . . . . . . . . . . . 99 3.32 Vererbung mit Redefinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 3.33 Eine polymorphe Liste . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 3.34 Typdeklaration durch Assoziation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106 3.35 Aufgeschobene Klasse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108 3.36 Mehrfachvererbung als Diagramm: HILFSKRAFT erbt von STUDENT und ARBEITNEHMER . . . . . . . . . 109 3.37 Mehrfachvererbung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110 3.38 Mehrfachvererbung: Realisierung einer deferred class durch Routinen einer anderen . . . . . . . . . . 111 3.39 Vererbung mit Umbenennung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113 3.40 Wiederholtes Erben . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113 4.1 Verstärkungs- und Abschwächungsregeln für Programmbeweise . . . . . . . . . . . . . . . . . . . . . 143 4.2 Regeln für die Kombination von Zusicherungen in Programmbeweisen . . . . . . . . . . . . . . . . . 143 4.3 Verifikationsregel und Prädikatentransformer für die Wertzuweisung . . . . . . . . . . . . . . . . . 145 4.4 Verifikationsregeln für Prozeduraufrufe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149 4.5 Verifikationsregel für Funktionsaufrufe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149 4.6 Verifikationsregel und Prädikatentransformer für zusammengesetzte Anweisungen . . . . . . . . . . . 151 4.7 Syntax der bedingten Anweisung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153 4.8 Syntax der Fallunterscheidung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
4.9 Verifikationsregeln und Prädikatentransformer für bedingte Anweisungen . . . . . . . . . . . . . . . 155 4.10 Vollständige Syntax der Schleifen (mit Invarianten) . . . . . . . . . . . . . . . . . . . . . . . . . . 159 4.11 Verifikationsregel und Prädikatentransformer für Schleifen . . . . . . . . . . . . . . . . . . . . . . 161 4.12 Die wichtigsten Routinen für die Eingabe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167 4.13 Die wichtigsten Routinen für die Ausgabe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168 4.14 Berechnung der Fibonaccizahlen durch Schleifen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170 4.15 Verifikationsregel für rekursive Routinen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171 4.16 Berechnung der maximalen Segmentsumme: direkte Lösung . . . . . . . . . . . . . . . . . . . . . . 179 4.17 Berechnung der maximalen Segmentsumme: systematisch erzeugte Lösung . . . . . . . . . . . . . . 180
Seite 1 und 2: Grundlagen der Informatik I “Prog
Seite 3 und 4: Inhaltsverzeichnis 1 Einführung 1
Seite 5 und 6: 3.7.1 Zusicherungen . . . . . . . .
Seite 7: Abbildungsverzeichnis 2.1 Syntax de
Seite 12 und 13: edeutet wiederum, exakte Prognosen
Seite 14 und 15: Stoff betrifft, so werden Sie eine
Seite 16 und 17: ilden die Grundlage zum Erwerb des
Seite 18 und 19: Komplexität 1. A.. V. Aho, E. Hopc
Seite 20 und 21: ser Zweig der Informatik beschäfti
Seite 22 und 23: 5. Kompatibilität ist ein Maß daf
Seite 24 und 25: ∀a ∈IN. teilt(a,a) ∧ teilt(a,
Seite 26 und 27: durchgeführt werden, sofern man ni
Seite 28 und 29: 1.2.2.3 Diskussion Bei der deskript
Seite 30 und 31: Da 1215 ist wird die erste Anweisun
Seite 32 und 33: Rahmen zu weit führen. Auffällig
Seite 34 und 35: Durch das Konzept des Übersetzers
Seite 36 und 37: und “örtlich” durch Zerlegung
Seite 38 und 39: 1.3.4 Prozeduralisierung Das Beispi
Seite 40 und 41: Man könnte das Objektkonzept von d
Seite 43 und 44: Kapitel 2 Logik und formale Sprachb
Seite 45 und 46: 2.1 Formale Sprachbeschreibungen Di
Seite 47 und 48: möglichen Alternativen auf der rec
Seite 49 und 50: Wenn wir eine Menge von Sprachen be
Seite 51 und 52: Da wir im folgenden den Begriff der
Seite 53 und 54: Für die Zuordnung zwischen der Obj
Seite 55 und 56: Diese Form der Definition findet ih
Seite 57 und 58: K1: Kommutativ-Gesetz E1 ∧E2 ≡
Seite 59 und 60:
Axiomenschemata: L1 A ∨ ¬A L2 (A
Seite 61 und 62:
In dem Kapitel über die Programmve
Seite 63 und 64:
2. Es werden Quantoren eingeführt,
Seite 65 und 66:
s (T, state) = wahr s (F, state) =
Seite 67 und 68:
• x ist gebunden in p(t1, ..., tn
Seite 69 und 70:
Der Wert einer Aussage mit mehreren
Seite 71 und 72:
Wichtig ist, daß die Auswahl des W
Seite 73 und 74:
Wir geben hier eine Funktion an, di
Seite 75:
wichtigste formale Sprache zur Besc
Seite 78 und 79:
Wir wollen jedoch deutlich darauf h
Seite 80 und 81:
Buch, sondern sollten besser als ei
Seite 82 und 83:
Viel sinnvoller ist es, bei der Bes
Seite 84 und 85:
Entsprechend ihrer beabsichtigten B
Seite 86 und 87:
Klassen sind rein statische Beschre
Seite 88 und 89:
leeren Verweis (d.h. von machen Per
Seite 90 und 91:
haben wie z.B. “(jahr:INTEGER)”
Seite 92 und 93:
und diese erzeugten Objekte mit Ver
Seite 94 und 95:
Bei der Erzeugung von Objekten mitt
Seite 96 und 97:
über den Namen eines Attributs Wer
Seite 98 und 99:
• Die Veränderung und Auswertung
Seite 100 und 101:
3.5 Copy- und Referenz-Semantik In
Seite 102 und 103:
3.5.2 expanded: Klassen mit Copy-Se
Seite 104 und 105:
class LIST[X] creation new feature
Seite 106 und 107:
Dieses Problem wird durch das Konze
Seite 108 und 109:
3.7.1 Zusicherungen Eiffel logische
Seite 110 und 111:
class ARRAY[X] creation make featur
Seite 112 und 113:
class ARRAY[X] creation make featur
Seite 114 und 115:
formulieren und zu überwachen. Eig
Seite 116 und 117:
3.8.2 Export geerbter Features Norm
Seite 118 und 119:
Ist also p ein Personenobjekt und a
Seite 120 und 121:
Definition 3.8.5 (Konformität) Ein
Seite 122 und 123:
Um die Beschreibung des Typsystems
Seite 124 und 125:
Nachkommenklassen aber folgt entity
Seite 126 und 127:
deferred class LIST[X] feature leng
Seite 128 und 129:
class STUDENT feature universität:
Seite 130 und 131:
Das Problem ist nun, daß beide Elt
Seite 132 und 133:
Prinzipiell wäre es sogar möglich
Seite 134 und 135:
Das bedeutet also, daß die Erbenkl
Seite 136 und 137:
Die eigentliche Montage eines Syste
Seite 138 und 139:
Verständlichkeit der Module: Die L
Seite 140 und 141:
dynamische Semantik: Die dynamische
Seite 142 und 143:
Constant ::= Manifest constant | Id
Seite 145 und 146:
Kapitel 4 Systematische Entwicklung
Seite 147 und 148:
4.1.2 Grundideen des objektorientie
Seite 149 und 150:
jedoch dringend zu empfehlen, jegli
Seite 151 und 152:
• Ausleihe - Bücher werden nach
Seite 153 und 154:
Der Anwender ist kein echter Klient
Seite 155 und 156:
Es sei an dieser Stelle angemerkt,
Seite 157 und 158:
einen Rechner überprüft werden ka
Seite 159 und 160:
Definition 4.2.3 (Korrektheit von R
Seite 161 und 162:
Programmkonstruktion keine Rolle, d
Seite 163 und 164:
Eine Wertzuweisung entity := Ausdru
Seite 165 und 166:
4.3.2.1 Die Rolle formaler Paramete
Seite 167 und 168:
Für eine korrekt implementierte Pr
Seite 169 und 170:
{ pre} Anweisung1 { p} , { p} Anwei
Seite 171 und 172:
die alle dieselbe Variable x betref
Seite 173 und 174:
4.3.4.4 Verifikation Die Verifikati
Seite 175 und 176:
Dieser Beweis ist in der folgenden
Seite 177 und 178:
Im allgemeinen ist es sehr schwieri
Seite 179 und 180:
from Init invariant Inv variant Var
Seite 181 und 182:
Programm Zusicherungen Prämissen n
Seite 183 und 184:
entdeckten Fehler stillschweigend h
Seite 185 und 186:
Gegenlesen nicht findet(, aber auch
Seite 187 und 188:
4.3.10 Die Verifikation rekursiver
Seite 189 und 190:
• Die Variante einer rekursiven R
Seite 191 und 192:
Die Art der Anweisungen ist nicht a
Seite 193 und 194:
Die Formulierung von Ausdrücken mu
Seite 195 und 196:
4.4.6 Sprachbeschreibung Die nun fo
Seite 197 und 198:
Programm nachträglich als korrekt
Seite 199 und 200:
Der vollständige Korrektheitsbewei
Seite 201 und 202:
Dies ist die Grundidee der sogenann
Seite 203 und 204:
Als Initalanweisung genügt es, i m
Seite 205 und 206:
Beispiel 4.5.15 (Vertauschen von Se
Seite 207 und 208:
Mit einer wichtigen strategischen A
Seite 209:
Seien Sie sich bewußt, daß gerade
Alle anzeigen

Grundlagen der Informatik I “Programmierung”

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?