- 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 und 8:
Abbildungsverzeichnis 2.1 Syntax de
- Seite 9:
4.9 Verifikationsregeln und Prädik
- 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: 4.3.10 Die Verifikation rekursiver
- 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