| ||||||||||||
![]() Gutschein erhalten
Tauschen Sie jetzt Modellierung: Grundlagen und formale Methoden gegen einen Amazon-Gutschein in Höhe von EUR 10,70 ein - einlösbar für Tausende von Artikeln bei Amazon.de. Entdecken Sie mehr eintauschbare Bücher im Bücher Trade-In Shop. Bitte beachten Sie die Teilnahmebedingungen.
|
Produktinformation
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
Ist der Verkauf dieses Produkts für Sie nicht akzeptabel? |
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.
Vorgeschlagene Tags zu ähnlichen Produkten(Was ist das?)Setzen Sie den ersten relevanten Tag hinzu (ein Schlüsselwort, das mit diesem Produkt in engem Zusammenhang steht).
|
|
Sagen Sie Ihre Meinung zu diesem Artikel:
|
||||||||||||||||||||||
|
Die hilfreichsten Kundenrezensionen
3.0 von 5 Sternen
Ideal zur Ergänzung der Vorlesung,
Rezension bezieht sich auf: Modellierung: Grundlagen und formale Methoden (Taschenbuch)
Das Buch eignet sich perfekt als Ergänzung zu der Vorlesung "Modellierung" an der Universität Paderborn. Es enthält sämtliche Vorlesungsinhalte und erläutert diese sehr ausführlich, sodass der behandelten Themen ideal im Selbststudium vertieft werden können.Allerdings gibt es zwei markante Probleme: 1. Das Buch ist nicht aktuelle und enthält teilweise fachliche Fehler 2. Am Ende jeden Kapitels werden Übungsaufgaben zur Vertiefung der Inhalte angeboten. Leider gibt es hierzu keine Lösungen. Helfen Sie anderen Kunden bei der Suche nach den hilfreichsten Rezensionen
4 von 9 Kunden fanden die folgende Rezension hilfreich:
4.0 von 5 Sternen
Zu empfehlen für Studenten der Uni-Paderborn,
Von Ein Kunde
Rezension bezieht sich auf: Modellierung: Grundlagen und formale Methoden (Taschenbuch)
Dieses Buch geht wirklich gut auf die einzelnen Themen ein und gibt Beispiele dazu. Zu empfehlen ist dieses Buch vorallem für Informatik-Studenten der Uni Paderborn, da sich die Vorlesungsinhalte auf das Buch beziehen. Am Ende jedes Kapitels gibt es zu jedem Thema ein paar Übungsaufgaben. Schade ist nur, dass es keine Musterlösung zu den Aufgaben gibt.
Helfen Sie anderen Kunden bei der Suche nach den hilfreichsten Rezensionen
Sagen Sie Ihre Meinung zu diesem Artikel: Eigene Rezension erstellen
|
|
|
Das Forum zu diesem Produkt
Fragen stellen, Meinungen austauschen, Einblicke gewinnen Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
|
Ähnliche Foren
|
||||||||||||||||||||||||||||||||||
|
|
|