Einführung in die Constraint-Programmierung : Grundlagen, Methoden, Sprachen, Anwendungen / Petra Hofstedt; Armin Wolf

Von:

Hofstedt, Petra [aut]

Mitwirkende(r):

Wolf, Armin [aut]

Resource type: Ressourcentyp: BuchBuchVerlagsnummer: 11324584Sprache: Deutsch Reihen: eXamen.pressVerlag: Berlin ; Heidelberg [u.a.] : Springer, 2007Beschreibung: XII, 388 S. : graph. Darst. ; 24 cmISBN:

9783540231844

Schlagwörter:

Constraint-Programmierung

Genre/Form:

Lehrbuch

Andere physische Formen: Online-Ausg.: Einführung in die Constraint-Programmierung. Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. Online-Ressource (XII, 388 S. 49 Abb, digital)MSC: MSC: *68N01 | 68-01 | 68N17 | 68N19 | 68T20RVK: RVK: ST 230Zusammenfassung: Die Constraint-Programmierung liefert Methoden zur effizienten Modellierung von Systemen oder zur Lösung von Problemstellungen, bei denen nur unvollständige Informationen vorliegen (z.B. Entscheidungssysteme, Optimierungsprobleme, Analyse stochastischer Prozesse), sowie zur Lösung kombinatorischer Probleme (Ressourcenmanagement) oder auch bei der Entwicklung komplexer Deduktionssysteme. Dieses Lehrbuch gibt eine kompakte Einführung in die Constraint-Programmierung. Dabei werden neben allgemeinen theoretischen Grundlagen auch Sprachen, Methoden und Verfahren zur Modellierung und Lösung von Constraint-Problemen vorgestellt sowie deren Anwendungsfelder betrachtet und anhand typischer Beispiele wie Terminplanung, Finanzwesen, Optimierung, Simulation und Diagnose vergegenständlicht. Das Buch richtet sich an Studierende der Informatik im Hauptstudium. Es basiert auf einer einsemestrigen Vorlesung mit Übungen der Autoren. TOC: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.- HeuristikenCall number: Grundsignatur: 2007 A 1999PPN: PPN: 523420978

Exemplare ( 2 )

Exemplare
Medientyp	Heimatbibliothek	Sammlung	Standort	Signatur	Exemplarnummer	Status	Fälligkeitsdatum	Barcode	Vormerkungen
Freihandbestand ausleihbar	Bibliothek Campus Süd	inf 3.19	Lesesaal Wirtschaftswissenschaften und Informatik (LSW)	2007 A 1999		Verfügbar		48425623090
Handbibliothek	Fakultät für Wirtschaftswissenschaften			2007 A 1999	;b	Ausgeliehen Ausleihe und Einsicht nicht möglich	22.11.2037	53125170090

Anzahl Vormerkungen: 0