Modellierung
Grundlagen und formale Methoden
Seiten
2021
|
5., aktualisierte Auflage
Hanser, Carl (Verlag)
978-3-446-46942-6 (ISBN)
Hanser, Carl (Verlag)
978-3-446-46942-6 (ISBN)
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:
Auf plus.hanser-fachbuch.de finden Sie zu diesem Titel kostenloses digitales Zusatzmaterial in Form von umfassenden Vorlesungsmaterialien und Übungen mitsamt Lösungen.
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.
Prof. Dr. Uwe Kastens und Prof. Dr. Hans Kleine Büning lehrten Informatik an der Universität Paderborn und hielten dort im Wechsel die Modellierungsvorlesung.
"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 2021
"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 2021
Erscheinungsdatum | 10.06.2021 |
---|---|
Zusatzinfo | s/w |
Verlagsort | München |
Sprache | deutsch |
Maße | 170 x 238 mm |
Gewicht | 601 g |
Einbandart | gebunden |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Schlagworte | kalküle informatik • logik-kalküle • modellierung algorithmischer probleme • modellierung informatik • modellierung kalkül • Modellierungsmethoden • Modellierungstechniken • Notation Informatik |
ISBN-10 | 3-446-46942-7 / 3446469427 |
ISBN-13 | 978-3-446-46942-6 / 9783446469426 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Hardcover (2012)
Westermann Schulbuchverlag
CHF 44,90
Schulbuch Klassen 7/8 (G9)
Buch | Hardcover (2015)
Klett (Verlag)
CHF 29,90
Buch | Softcover (2004)
Cornelsen Verlag
CHF 23,90