textico.de
Aufgaben, Probleme und Strukturen mit Kalkülen und Notationen zu beschreiben, bevor sie durch den Entwurf von Software-Algorithmen, Daten oder Hardware gelöst oder implementiert werden: dass ist die Aufgabe der Modellierung -- und vieler Studenten der Informatik oder Wirtschaftsinformatik.
Modellierung von Uwe Kastens und Hans Kleine-Büning vermittelt eine grundlegende Übersicht über die wichtigsten Kalküle der Informatik und ein, anhand praktischer Beispiele, grundlegendes Verständnis für jeden der vorgestellten Kalküle.
Mit dem als Lehrwerk zur Modellierungsvorlesung entstandenen Buch zielen Kastens und Kleine-Büning auf den Erwerb von Erfahrung bei der formalen Beschreibung ab -- sozusagen als Sprungbrett für das selbstständige Arbeiten/Studieren.
Los geht es mit einer Einführung in die Modellierung, deren Aufgaben und Ziele und eine erste formale Beschreibung. Als nächstes zeigen die Autoren Mengen als Modellierungskalkül und Terme als abstrakte Grundlagen von Formeln, gefolgt von einem ersten Sprung in die Logik: Aussagenlogik und Prädikatenlogik. Weiter geht es mit dem Kalkül der Graphen. Nach und nach präsentieren sie weitere Kalküle und zeigen ihre Anwendung und Bedeutung. Im letzten Kapitel dann die komplette Modellierung von zwei Aufgaben. Zusätzliches Vorlesungs- und Übungsmaterial befindet sich auf der Hanser-Website.
Mit einem guten Gleichgewicht aus theoretischem Hintergrund und praktischen Anwendungen ist Modellierung vor allem vorlesungsbegleitend, aber auch für das bessere Verständnis der Modellierung im Selbststudium ein Highlight. --Wolfgang Treß
-- Dieser Text bezieht sich auf eine vergriffene oder nicht verfügbare Ausgabe dieses Titels.
Kurzbeschreibung
GRUNDLAGENWISSEN FÜR INFORMATIKER - Systematische Darstellung von Modellierungstechniken und -kalkülen - Deckt den Lehrstoff zur Modellierung für Bachelor-Studiengänge ab - Vermittelt Wissen, das für den Einsatz in der Praxis benötigt wird - Mit zahlreichen Beispielen und Übungsaufgaben - Im Internet: Umfassendes Vorlesungs- und Übungsmaterial für Studierende und Dozenten unter http://downloads.hanser.de Das Modellieren ist eine typische Arbeitsmethode für das Fach Informatik: Aufgaben, Probleme oder Strukturen werden untersucht und formal beschrieben, bevor sie durch den Entwurf von Software, Algorithmen, Daten oder Hardware gelöst bzw. implementiert werden. Als Student oder Praktiker im Fach Informatik oder Wirtschaftsinformatik müssen Sie die Grundlagen der Modellierung beherrschen. Als Ausdrucksmittel für die Modellierung steht ein breites Spektrum von Kalkülen und Notationen zur Verfügung. Sie sind spezifisch für unterschiedliche Arten von Problemen und Aufgaben. In diesem Buch lernen Sie an vielen praktischen Beispielen, die grundlegenden Methoden und Kalküle zur Modellierung anzuwenden. Dieses Buch vermittelt den Lehrstoff zur Modellierung für Einführungsvorlesungen und eignet sich für die Bachelor-Studiengänge Informatik und verwandter Fächer. Die zweite Auflage wurde gründlich überarbeitet und um Abschnitte zu UML und XML erweitert.
Buchrückseite
GRUNDLAGENWISSEN FÜR INFORMATIKER - Systematische Darstellung von Modellierungstechniken und -kalkülen - Deckt den Lehrstoff zur Modellierung für Bachelor-Studiengänge ab - Vermittelt Wissen, das für den Einsatz in der Praxis benötigt wird - Mit zahlreichen Beispielen und Übungsaufgaben - Im Internet: Umfassendes Vorlesungs- und Übungsmaterial für Studierende und Dozenten unter http://downloads.hanser.de MODELLIERUNGDas Modellieren ist eine typische Arbeitsmethode für das Fach Informatik: Aufgaben, Probleme oder Strukturen werden untersucht und formal beschrieben, bevor sie durch den Entwurf von Software, Algorithmen, Daten oder Hardware gelöst bzw. implementiert werden. Als Student oder Praktiker im Fach Informatik oder Wirtschaftsinformatik müssen Sie die Grundlagen der Modellierung beherrschen. Als Ausdrucksmittel für die Modellierung steht ein breites Spektrum von Kalkülen und Notationen zur Verfügung. Sie sind spezifisch für unterschiedliche Arten von Problemen und Aufgaben. In diesem Buch lernen Sie an vielen praktischen Beispielen, die grundlegenden Methoden und Kalküle zur Modellierung anzuwenden. Dieses Buch vermittelt wird den Lehrstoff zur Modellierung für Einführungsvorlesungen und eignet sich für die Bachelor-Studienegänge Informatik und verwandter Fächer. Die zweite Auflage wurde gründlich überarbeitet und um Abschnitte zu UML und XML erweitert.
Über den Autor
Prof. Dr. Uwe Kastens und Prof. Dr. Hans Kleine Büning lehren Informatik an der Universität Paderborn.
