Suchen und Finden
Service
Modellierung - Grundlagen und formale Methoden
von: Uwe Kastens, Hans Kleine Büning
Carl Hanser Fachbuchverlag, 2008
ISBN: 9783446417212, 294 Seiten
2. Auflage
Format: PDF, OL
Preis: 34,90 EUR
Inhalt
6
Vorwort
10
Vorwort zur 2. Auflage
14
1 Einführung
16
1.1 Einführendes Beispiel
16
1.2 Modellbegriff
19
Übungen
24
2 Modellierung mit Wertebereichen
26
2.1 Mengen
28
2.2 Potenzmengen
30
2.3 Kartesische Produkte
31
2.4 Vereinigung
33
2.5 Folgen
34
2.6 Relationen
35
2.7 Funktionen
39
2.8 Beispiel im Zusammenhang
43
2.9 Fallstudie: Getränkeautomat
46
2.9.1 Produkte und Vorrat
46
2.9.2 Kassieren
47
2.9.3 Bedienung und Zustand
48
Übungen
50
3 Terme und Algebren
58
3.1 Terme
59
3.1.1 Sorten und Signaturen
59
3.1.2 Notationen für Terme
62
3.2 Substitution und Unifikation
65
3.2.1 Substitution
66
3.2.2 Unifikation
69
3.3 Algebren
71
3.3.1 Abstrakte Algebra
72
3.3.2 Konkrete Algebra
73
3.4 Algebraische Spezifikation vonDatenstrukturen
74
3.4.1 Algebraische Spezifikation für denGetränkeautomaten
81
Übungen
82
4 Logik
88
4.1 Aussagenlogik
89
4.1.1 Syntax der Aussagenlogik
89
4.1.2 Semantik der Aussagenlogik
90
4.1.3 Normalformen
96
4.1.4 Aussagenlogische Modellbildung
100
4.2 Prädikatenlogik
101
4.2.1 Syntax der Prädikatenlogik
101
4.2.2 Semantik der Prädikatenlogik
105
4.2.3 Normalformen
110
4.2.4 Modellbildung mit der Prädikatenlogik
114
4.3 Elementare Beweistechniken
117
4.3.1 Formaler Rahmen und Grundlagen
118
4.3.2 Elementare Beweisstrukturen
121
4.3.3 Quantoren
124
Übungen
131
5 Modellierung mit Graphen
136
5.1 Grundlegende Definitionen
137
5.2 Wegeprobleme
144
5.3 Verbindungsprobleme
153
5.4 Modellierung mit Bäumen
157
5.5 Zuordnungsprobleme
165
5.6 Abhängigkeiten
169
Übungen
177
6 Modellierung von Strukturen
182
6.1 Kontextfreie Grammatiken
184
6.2 Baumstrukturen in XML
195
6.2.1 XML Notation
196
6.2.2 XML-Texte als Bäume
198
6.2.3 Strukturdefinition für XML-Bäume
201
6.3 Entity-Relationship-Modell
203
6.3.1 Entity-Mengen
204
6.3.2 Attribute
205
6.3.3 Relationen
207
6.4 Klassendiagramme in UML
216
6.4.1 Klassen mit Attributen
217
6.4.2 Assoziationen
217
Übungen
222
7 Modellierung von Abläufen
228
7.1 Endliche Automaten
229
7.1.1 Zeichenfolgen über Alphabete
231
7.1.2 Deterministische endliche Automaten
233
7.1.3 Nicht-deterministische endliche Automaten
235
7.1.4 Endliche Automaten mit Ausgabe
239
7.1.5 Endliche Automaten in UML
242
7.2 Petri-Netze
245
Übungen
257
8 Fallstudien
264
8.1 Fallstudie Autowerkstatt
264
8.1.1 Informationsstruktur und Zusammenhänge
265
8.1.2 Bedingungen und Regeln
268
8.1.3 Abläufe der Auftragsbearbeitung
269
8.2 Fallstudie Gesellschaftsspiel
271
8.2.1 Strukturen und Zusammenhänge
271
8.2.2 Bedingungen und Regeln
275
8.2.3 Spielabläufe
276
Übungen
278
Bibliographie
282
Referenzen
285
Register
288
Mehr eBooks vom gleichen Verlag
Statistische Grafiken mit Excel, von: Werner Voß, Nadine M. Schöneck, Preis: 19,90 EUR
Alle Preise verstehen sich inklusive der gesetzlichen MwSt.; Ersparnis im Vergleich zur Printversion