Uwe Kastens, Hans Kleine Büning

Modellierung

Grundlagen und formale Methoden. 5. , aktualisierte Auflage.
gebunden , 308 Seiten
ISBN 3446469427
EAN 9783446469426
Veröffentlicht Juni 2021
Verlag/Hersteller Hanser Fachbuchverlag
Leseprobe öffnen

Auch erhältlich als:

pdf eBook
29,99
29,99 inkl. MwSt.
Sofort lieferbar (Versand mit Deutscher Post/DHL)
Teilen
Beschreibung

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.

Portrait

Prof. Dr. Uwe Kastens lehrte Informatik an der Universität Paderborn und hielt dort im Wechsel die Modellierungsvorlesung.

Hersteller
Hanser Fachbuchverlag
Vilshofener Straße 10

DE - 81679 München

E-Mail: info@hanser.de

Das könnte Sie auch interessieren

Kristian Köhler
Softwaredesign und Entwurfsmuster
Gebund. Ausgabe
Lieferbar innerhalb von 1-2 Wochen
39,90
Sofort lieferbar
19,99
Florian Horsch
3D-Druck für alle
Taschenbuch
Lieferbar innerhalb von 1-2 Wochen
29,99
Sofort lieferbar
19,95
Sofort lieferbar
14,95
Inga Strümke
Künstliche Intelligenz
Gebund. Ausgabe
Sofort lieferbar
24,90
Dirk Becker
Einstieg in Linux Mint 22
Taschenbuch
Sofort lieferbar
29,90
Rainer Hattenhauer
ChatGPT u. Co.
Taschenbuch
Sofort lieferbar
24,90
Sofort lieferbar
12,95
Sebastian Raschka
Large Language Models selbst programmieren
Taschenbuch
Sofort lieferbar
39,90