Zertifizierter Händler seit über 35 Jahren
Mo.–Fr. 8:30 – 17:00 Uhr: 0 21 91 - 99 11 00
Mo.-Fr. 8:30 - 17:00 Uhr: 0 21 91 - 99 11 00
Logo EDV-BUCHVERSAND Delf Michel
Software & Fachbücher vom Experten
Logo EDV-BUCHVERSAND Delf Michel
Software & Fachbücher vom Experten
Mo.-Fr. 8:30 - 17:00 Uhr: 0 21 91 - 99 11 00
0
Modellierung
Grundlagen und formale Methoden
Modellierung

Modellierung

Grundlagen und formale Methoden

HANSER Fachbuch
Autor:innen
Uwe Kastens, Hans Kleine Büning
308 Seiten, Softcover, 5. Auflage
Erschienen
06/2021
978-3-446-46942-6
9783446469426
 
 
Best.-Nr.:
Modellierung
Die Modellierung ist eine typische Arbeitsmethode in der Informatik. Dabei werden die zu lösenden Aufgaben, Probleme oder Strukturen untersucht und in Modellen beschrieben, um sie im Anschluss durch den Entwurf von Software, Algorithmen, Daten oder Hardware zu lösen bzw. implementieren. 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:

Aus dem Inhalt

  • Modellierung mit Wertebereichen
  • Terme und Algebren
  • Logik
  • Modellierung mit Graphen
Hier das ganze Inhaltsverzeichnis lesen.
  • Modellierung von Strukturen
  • Modellierung von Abläufen
  • Fallstudien
Leseprobe
So wie der Bauarchitekt ein Gebäudemodell als Vorlage zum Bau eines Hauses entwirft, geht auch der Softwarearchitekt zum Entwurf von Software vor. Die Autoren klären in dieser Leseprobe den Begriff des Modells und zeigen am Beispiel einer Flussüberquerung mit einigen Bedingungen die Problemlösung durch ein systematisches Vorgehen.
Blick ins Buch: Modellierung

Wer hat's geschrieben?

Bild von Autor:in Uwe Kastens

Prof. Dr. Uwe Kastens und Prof. Dr. Hans Kleine Büning lehren Informatik an der Universität Paderborn und halten dort im Wechsel die Modellierungsvorlesung.

Bild von Autor:in Uwe Kastens
Bild von Autor:in Hans Kleine Büning

Prof. Dr. Uwe Kastens und Prof. Dr. Hans Kleine Büning lehren Informatik an der Universität Paderborn und halten dort im Wechsel die Modellierungsvorlesung.

Modellierung
Grundlagen und formale Methoden
Modellierung
Modellierung
Grundlagen und formale Methoden
HANSER Fachbuch
Autor:innen
Uwe Kastens, Hans Kleine Büning
308 Seiten, Softcover, 5. Auflage
Erschienen
06/2021
978-3-446-46942-6
9783446469426
 
 
Best.-Nr.:
Modellierung