Beschreibung
Die Constraint-Programmierung liefert Methoden zur effizienten Modellierung von Systemen oder zur Lösung von Problemen, für die nur unvollständige Informationen vorliegen. Ebenso hilft sie kombinatorische Probleme zu lösen oder komplexe Deduktionssysteme zu entwickeln. Dieses kompakte Lehrbuch führt in die Constraint-Programmierung ein. Neben den Grundlagen stellen die Autoren Sprachen, Methoden und Verfahren zur Modellierung und Lösung von Constraint-Problemen vor. Darüber hinaus betrachten sie deren Anwendungsfelder und veranschaulichen diese anhand typischer Beispiele wie Terminplanung, Finanzwesen, Optimierung, Simulation und Diagnose.
Autorenportrait
InhaltsangabeEinführung.- Prädikatenlogik.- Logische Programmierung.- Constraints, Constraint-Systeme und Constraint-Löser.- Constraints und Constraint-Löser.- Constraints über endlichen Wertebereichen - Finite-Domain-Constraints.- Lineare Arithmetische Constraints.- Constraint-Sprachen.- Constraint-logische Programmierung (CLP).- Nebenläufige Constraint-logische Programmierung.- Constraint Handling Rules.- Constraint-imperative und Constraint-objektorientierte Programmierung.- Modellierung von Constraint-Problemen.- Realisierung und Verwendung globaler Constraints.- Symmetrien und Redundanzen.- Modellierungsbeispiele.- Lösung von Constraint-Problemen.- Die Suche nach Lösungen von CSP.- Optimale Lösungen von CSP.
Inhalt
Einführung.- Prädikatenlogik.- Logische Programmierung.- Logische Programmierung mit Constraints.- Constraints und Constraint-Systeme.- Constraint-Löser.- Finite-Domain-Constraints.- Lineare Arithmetische Constraints.- Intervall-Arithmetik-Constraints.- Constraint-Sprachen.- Constraint-Handling-Rules.- Concurrent-Constraint-Programmierung.- Constraintimperative und Objektorientierte Programmierung.- Multiparadigmen-Programmiersprachen.- Modellierung von Constraint-Problemen.- Globale Constraints.- Redundante und implizite Constraints.- Symmetrien und Transformationen.- Lösen von Constraint-Problemen.- Suche und Optimierung.- Heuristiken.
Informationen gemäß Produktsicherheitsverordnung
Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg
