Modellierung

Name: Modellierung | Grundlagen und formale Methoden
Brand: Hanser
Price: 29.99 EUR
Availability: OnlineOnly

Grundlagen und formale Methoden

Uwe Kastens Hans Kleine Büning(Autor*in)

Hanser (Verlag)

5. Auflage

Erschienen am 14. Juni 2021

308 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-446-46956-3 (ISBN)

29,99 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Personen

Inhalt

Intro
Vorwort
Vorlesungs- und Übungsmaterial für Studierende und Dozierende
Inhalt
1 Einführung
1.1 Einführendes Beispiel
1.2 Modellbegriff
Übungen
2 Modellierung mit Wertebereichen
2.1 Mengen
2.2 Potenzmengen
2.3 Kartesische Produkte
2.4 Vereinigung
2.5 Folgen
2.6 Relationen
2.7 Funktionen
2.8 Beispiel im Zusammenhang
2.9 Fallstudie: Getränkeautomat
2.9.1 Produkte und Vorrat
2.9.2 Kassieren
2.9.3 Bedienung und Zustand
Zusammenfassung
Übungen
3 Terme und Algebren
3.1 Terme
3.1.1 Sorten und Signaturen
3.1.2 Notationen für Terme
3.2 Substitution und Unifikation
3.2.1 Substitution
3.2.2 Unifikation
3.3 Algebren
3.3.1 Abstrakte Algebra
3.3.2 Konkrete Algebra
3.4 Algebraische Spezifikation von Datenstrukturen
3.5 Algebraische Spezifikation für den Getränkeautomaten
Übungen
4 Logik
4.1 Aussagenlogik
4.1.1 Syntax der Aussagenlogik
4.1.2 Semantik der Aussagenlogik
4.1.3 Normalformen
4.1.4 Aussagenlogische Modellbildung
4.2 Prädikatenlogik
4.2.1 Syntax der Prädikatenlogik
4.2.2 Semantik der Prädikatenlogik
4.2.3 Normalformen
4.2.4 Modellbildung mit der Prädikatenlogik
4.3 Elementare Beweistechniken
4.3.1 Formaler Rahmen und Grundlagen
4.3.2 Elementare Beweisstrukturen
4.3.3 Quantoren
Übungen
5 Modellierung mit Graphen
5.1 Grundlegende Definitionen
5.2 Wegprobleme
5.3 Verbindungsprobleme
5.4 Modellierung mit Bäumen
5.5 Zuordnungsprobleme
5.6 Abhängigkeiten
Übungen
6 Modellierung von Strukturen
6.1 Kontextfreie Grammatiken
6.2 Baumstrukturen in XML
6.2.1 XML Notation
6.2.2 XML-Texte als Bäume
6.2.3 Strukturdefinition für XML-Bäume
6.3 Entity-Relationship-Modell
6.3.1 Entity-Mengen
6.3.2 Attribute
6.3.3 Relationen
6.4 Klassendiagramme in UML
6.4.1 Klassen mit Attributen
6.4.2 Assoziationen
Übungen
7 Modellierung von Abläufen
7.1 Endliche Automaten
7.1.1 Zeichenfolge über Alphabete
7.1.2 Deterministische endliche Automaten
7.1.3 Nicht-deterministische endliche Automaten
7.1.4 Endliche Automaten mit Ausgabe
7.1.5 Endliche Automaten in UML
7.2 Petri-Netze
Übungen
8 Fallstudien
8.1 Fallstudie Autowerkstatt
8.1.1 Informationsstruktur und Zusammenhänge
8.1.2 Bedingungen und Regeln
8.1.3 Abläufe der Auftragsbearbeitung
8.2 Fallstudie Gesellschaftsspiel
8.2.1 Strukturen und Zusammenhänge
8.2.2 Bedingungen und Regeln
8.2.3 Spielabläufe
8.3 Fallstudie: Aussagenlogische Formeln transformiert durch Graphen
8.3.1 Erfüllbarkeitsäquivalente Transformation in KNF
8.3.2 Beispielanwendung
Übungen
Bibliographie
Referenzen
Register
Auflistung Zusatzmaterial
Leere Seite

Inhalt (PDF)

Systemvoraussetzungen

Als PDF speichern Als Link merken

Modellierung

Beschreibung

Rezensionen / Stimmen

Weitere Details

Weitere Ausgaben

Personen

Inhalt

Systemvoraussetzungen