Book123

    Free register and download UseNet downloader, then you can FREE Download from UseNet.

    Download without Limit " Study Modellierung " from UseNet for FREE!

More

Uwe Kastens, Hans Kleine-Büning, Hans Kleine- Büning, "Modellierung "

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ß

Kurzbeschreibung

Das Modellieren ist eine für das Fach Informatik typische Arbeitsmethode, die in allen Gebieten des Faches angewandt wird. Aufgaben, Probleme oder Strukturen werden untersucht und als Ganzes oder in Teilaspekten beschrieben, bevor sie durch den Entwurf von Software, Algorithmen, Daten und/oder Hardware gelöst bzw. implementiert werden. 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. Kastens und Kleine Büning stellen in ihrem Buch grundlegende Methoden zur Modellierung von Problemen vor. Der Leser erhält einen Überblick über grundlegende Modellierungsmethoden und -kalküle und erlernt die für die Methoden typischen Techniken.

Buy Book at Lowest Price on Amazon

Rating:
2.5 out of 5 by Book123