X
  GO
Ihre Mediensuche
Suche
Zweigstelle
Medienart


12 von 74
Modellierung
Grundlagen und formale Methoden
Verfasserangabe: Uwe Kastens ; Hans Kleine Büning
Jahr: 2021
Verlag: München, Hanser
Mediengruppe: Buch
verfügbar (wo?)verfügbar (wo?)
Exemplare
 ZweigstelleStandorteStatusFristVorbestellungen
 Vorbestellen Zweigstelle: 07., Urban-Loritz-Pl. 2a Standorte: NT.EIA Kast / College 6c - Informatik & Computer Status: Verfügbar Frist: Vorbestellungen: 0
Inhalt
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. (Verlagstext)
Details
VerfasserInnenangabe: Uwe Kastens ; Hans Kleine Büning
Jahr: 2021
Verlag: München, Hanser
Systematik: NT.EIA
ISBN: 978-3-446-46942-6
2. ISBN: 3-446-46942-7
Beschreibung: 5., aktualisierte Auflage, 308 Seiten : Illustrationen : schwarz-weiß
Sprache: Deutsch
Mediengruppe: Buch