-
Tipp für Studenten
Ein Jahr Prime kostenlos und einen 20% erhöhten Eintauschwert auf Trade-In erhalten alle Studenten die bei Amazon Student angemeldet sind.
| ||||||||||||||||||
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ß
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).
|
|
Das Forum zu diesem Produkt
Fragen stellen, Meinungen austauschen, Einblicke gewinnen Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
|
Ähnliche Foren
|
||||||||||||||||||||||||||||||||||
|
|