Modellierung
Grundlagen und formale Methoden
5th Edition
Published on 14. June 2021
308 pages
978-3-446-46956-3 (ISBN)
Description
Die Grundlagen der Modellierung beherrschen!
Die Modellierung ist eine typische Arbeitsmethode in der Informatik: Aufgaben, Probleme oder Strukturen werden untersucht und formal beschrieben. Erst danach werden sie durch den Entwurf von Software, Algorithmen, Daten oder Hardware gelöst bzw. implementiert. Zur Anwendung der Modellierung steht ein breites Spektrum von Kalkülen und Notationen zur Verfügung.
Dieses Buch soll eine Übersicht über die wichtigsten Kalküle der Informatik und ein grundlegendes Verständnis für diese vermitteln. Anhand von vielen praktischen Beispielen lernen Sie die grundlegenden Modellierungstechniken kennen und werden in deren Anwendung eingeführt.
Dieses Buch vermittelt systematisch und praxisnah den Lehrstoff für Einführungsvorlesungen zur Modellierung und eignet sich für Bachelor-Studiengänge der Informatik und verwandter Fächer. Es werden behandelt:
- Modellierung mit Wertebereichen
- Terme und Algebren
- Logik
- Modellierung mit Graphen
- Modellierung von Strukturen
- Modellierung von Abläufen
- Fallstudien
Auf plus.hanser-fachbuch.de finden Sie zu diesem Titel kostenloses digitales Zusatzmaterial in Form von umfassenden Vorlesungsmaterialien und Übungen mitsamt Lösungen.
Reviews / Votes
"Wer sich für die Konstruktion von Modellen im Kontext der Informatik interessiert, findet in 'Modellieren' sicher einen kompetenten, gut verständlichen Begleiter." Jens-Christoph Brendel, Linux Magazin, Oktober 2021More details
Other editions
Additional editions
Book
06/2021
5th Edition
Hanser
€29.99
Available immediately
Persons
Content
- 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
