Petra Hofstedt,
Armin Wolf
Springer Berlin Heidelberg
2007e druk, 2007
9783540231844
Einführung in die Constraint-Programmierung
Grundlagen, Methoden, Sprachen, Anwendungen
Specificaties
Paperback, 388 blz.
|
Duits
Springer Berlin Heidelberg |
2007e druk, 2007
ISBN13: 9783540231844
Rubricering
Juridisch
:
Onderdeel van serie
eXamen.press
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9783540231844
Taal:Duits
Bindwijze:paperback
Aantal pagina's:388
Uitgever:Springer Berlin Heidelberg
Druk:2007
Hoofdrubriek:Programmeren, Computer en informatica
Serie:eXamen.press
Inhoudsopgave
Einfü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.
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht