Constraint-Programmierung Grundlagen und Anwendungen [Paperback]

Das Buch gibt einen kompakten, aber umfassenden ?berblick ?ber das Probleml?sen und Programmieren mit Constraints (Randbedingungen). Diese aktuelle Programmiermethodik erm?glicht es, Aufgaben direkt zu formulieren und effizient zu l?sen. Sie gewinnt zusehends Bedeutung in Anwendungsbereichen wie Kombinatorische Suchprobleme (z.B. Zeitplanen, Layout-Optimierung), Berechnungen (Finanzanalyse), Simulation (Hardware-Verifikation) oder allgemein Schlie?en und Rechnen mit ungenauer oder unvollst?ndiger Information (z.B. Kostensch?tzung). Die theoretisch fundierte Darstellung mit Aufgaben und Anwendungsbeispielen aus der Praxis ist in der Lehre erprobt, aber auch f?r Forscher und Praktiker von Nutzen.Mit Aufgaben und L?sungenDas Buch gibt einen kompakten, aber umfassenden ?berblick ?ber das Probleml?sen und Programmieren mit Constraints (Randbedingungen). Diese aktuelle Programmiermethodik erm?glicht es, Aufgaben direkt zu formulieren und effizient zu l?sen. Sie gewinnt zusehends Bedeutung in Anwendungsbereichen wie Kombinatorische Suchprobleme (z.B. Zeitplanen, Layout-Optimierung), Berechnungen (Finanzanalyse), Simulation (Hardware-Verifikation) oder allgemein Schlie?en und Rechnen mit ungenauer oder unvollst?ndiger Information (z.B. Kostensch?tzung). Die theoretisch fundierte Darstellung mit Aufgaben und Anwendungsbeispielen aus der Praxis ist in der Lehre erprobt, aber auch f?r Forscher und Praktiker von Nutzen.1 Einleitung.- 1.1 Was sind Constraints?.- 1.2 Constraint-Programmierung.- 1.3 Inhalts?bersicht.- 2 Pr?dikatenlogik und Kalk?le.- 2.1 Syntax.- 2.2 Semantik.- 2.3 Logische Kalk?le.- 3 Logikprogrammierung.- 3.1 LP-Kalk?l.- 3.2 Deklarative Semantik.- 3.3 Negation durch Scheitern.- 3.4 Prolog.- 4 Constraint-Logikprogrammierung.- 4.1 Constraintsysteme.- 4.2 Constraintl?ser.- 4.3 CLP-Kalk?l.- 4.4 Deklarative Semantik.- 5 Constrainterweiterungen.- 5.1 Implikation.- 5.2 Disjunktion.- 5.3 Kardinalit?t.- 5.4 Meta-Constraint.- 6 Nebenl?ufige CL-Programmierung.- 6.1 NCLPl!