Modellierung

Description

Modellierung - Grundlagen und formale Methoden (Team PDFWriters)
......Page 1 Vorwort......Page 14 Inhalt......Page 10 1.1 Einführendes Beispiel......Page 18 1.2 Modellbegriff......Page 21 Übungen......Page 26 2 Modellierung mit Wertebereichen......Page 28 2.1 Mengen......Page 30 2.2 Potenzmengen......Page 32 2.3 Kartesische Produkte......Page 33 2.4 Vereinigung......Page 34 2.5 Folgen......Page 36 2.6 Relationen......Page 37 2.7 Funktionen......Page 40 2.8 Beispiel im Zusammenhang......Page 45 2.9.1 Produkte und Vorrat......Page 47 2.9.2 Kassieren......Page 48 2.9.3 Bedienung und Zustand......Page 49 Übungen......Page 51 3 Terme und Algebren......Page 58 3.1.1 Sorten und Signaturen......Page 59 3.1.2 Notationen für Terme......Page 62 3.2 Substitution und Unifikation......Page 65 3.2.1 Substitution......Page 66 3.2.2 Unifikation......Page 69 3.3 Algebren......Page 71 3.3.1 Abstrakte Algebra......Page 72 3.3.2 Konkrete Algebra......Page 73 3.4 Algebraische Spezifikation von Datenstrukturen......Page 74 3.4.1 Algebraische Spezifikation für den Getränkeautomaten......Page 81 Übungen......Page 82 4 Logik......Page 88 4.1.1 Syntax der Aussagenlogik......Page 89 4.1.2 Semantik der Aussagenlogik......Page 90 4.1.3 Normalformen......Page 96 4.1.4 Aussagenlogische Modellbildung......Page 100 4.2.1 Syntax der Prädikatenlogik......Page 102 4.2.2 Semantik der Prädikatenlogik......Page 106 4.2.3 Normalformen......Page 111 4.2.4 Modellbildung mit der Prädikatenlogik......Page 115 Übungen......Page 118 5 Modellierung mit Graphen......Page 124 5.1 Grundlegende Definitionen......Page 125 5.2 Wegeprobleme......Page 132 5.3 Verbindungsprobleme......Page 141 5.4 Modellierung mit Bäumen......Page 145 5.5 Zuordnungsprobleme......Page 153 5.6 Abhängigkeiten......Page 157 Übungen......Page 165 6 Modellierung von Strukturen......Page 170 6.1 Kontextfreie Grammatiken......Page 171 6.2.1 Entity-Mengen......Page 183 6.2.2 Attribute......Page 185 6.2.3 Relationen......Page 186 Übungen......Page 195 7 Modellierung von Abläufen......Page 200 7.1 Endliche Automaten......Page 201 7.1.1 Zeichenfolgen über Alphabete......Page 203 7.1.2 Deterministische endliche Automaten......Page 205 7.1.3 Nicht-deterministische Automaten......Page 207 7.2 Petri-Netze......Page 214 Übungen......Page 226 8.1 Fallstudie Autowerkstatt......Page 232 8.1.1 Informationsstruktur und Zusammenhänge......Page 233 8.1.2 Bedingungen und Regeln......Page 236 8.1.3 Abläufe der Auftragsbearbeitung......Page 237 8.2.1 Strukturen und Zusammenhänge......Page 239 8.2.2 Bedingungen und Regeln......Page 243 8.2.3 Spielabläufe......Page 244 Übungen......Page 246 Bibliographie......Page 250 Referenzen......Page 252 Register......Page 256