
Modellierung
Grundlagen und formale Methoden
Hanser (Publisher)
5th Edition
Published on 18. June 2021
Book
Hardback
308 pages
978-3-446-46942-6 (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
Edition
5., aktualisierte Auflage
Language
German
Place of publication
München
Germany
Illustrations
s/w
Dimensions
Height: 236 mm
Width: 170 mm
Thickness: 19 mm
Weight
604 gr
ISBN-13
978-3-446-46942-6 (9783446469426)
Schweitzer Classification
Other editions
Additional editions

E-Book
06/2021
5th Edition
Hanser
€29.99
Available for download
Previous edition

Book
02/2018
4th Edition
Hanser
€42.00
Article exhausted; check for reprint
Persons
Author
Prof. Dr. Uwe Kastens lehrte Informatik an der Universität Paderborn und hielt dort im Wechsel die Modellierungsvorlesung.
ISNI: 0000 0001 1776 171X
ISNI: 0000 0001 1776 171X
Prof. Dr. Hans Kleine Büning lehrte Informatik an der Universität Paderborn und hielt dort im Wechsel die Modellierungsvorlesung.
ISNI: 0000 0001 0933 8719
ISNI: 0000 0001 0933 8719