Einfuhrung in die Constraint-Programmierung. Grundlagen, Methoden, Sprachen, Anwendungen by Petra Hofstedt, Armin Wolf (Repost)
 Springer | German | 2007 | ISBN: 3540231846 | 390 pages | PDF | 3.03 MB 
Die Constraint-Programmierung liefert Methoden zur effizienten Modellierung von Systemen oder zur Losung von Problemen, fur die nur unvollstandige Informationen vorliegen. Ebenso hilft sie kombinatorische Probleme zu losen oder komplexe Deduktionssysteme zu entwickeln. Dieses kompakte Lehrbuch fuhrt in die Constraint-Programmierung ein. Neben den Grundlagen stellen die Autoren Sprachen, Methoden und Verfahren zur Modellierung und Losung von Constraint-Problemen vor. Daruber hinaus betrachten sie deren Anwendungsfelder und veranschaulichen diese anhand typischer Beispiele wie Terminplanung, Finanzwesen, Optimierung, Simulation und Diagnose.
Die Constraint-Programmierung liefert Methoden zur effizienten Modellierung von Systemen oder zur Losung von Problemstellungen, bei denen nur unvollstandige Informationen vorliegen (z.B. Entscheidungssysteme, Optimierungsprobleme, Analyse stochastischer Prozesse), sowie zur Losung kombinatorischer Probleme (Ressourcenmanagement) oder auch bei der Entwicklung komplexer Deduktionssysteme. Dieses Lehrbuch gibt eine kompakte Einfuhrung in die Constraint-Programmierung. Dabei werden neben allgemeinen theoretischen Grundlagen auch Sprachen, Methoden und Verfahren zur Modellierung und Losung von Constraint-Problemen vorgestellt sowie deren Anwendungsfelder betrachtet und anhand typischer Beispiele wie Terminplanung, Finanzwesen, Optimierung, Simulation und Diagnose vergegenstandlicht. Das Buch richtet sich an Studierende der Informatik im Hauptstudium. Es basiert auf einer einsemestrigen Vorlesung mit Ubungen der Autoren.
 
 



