Einführung in die Constraint-Programmierung

Inhaltsverzeichnis

Aus dem 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.

Einführung in die Constraint-Programmierung

Grundlagen, Methoden, Sprachen, Anwendungen

Buch (Taschenbuch)

32,99 € inkl. gesetzl. MwSt.

Weitere Formate

Beschreibung


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.


Petra Hofstedt:

Studium der Informatik an der Technischen Universität Dresden, 1995 Abschluss zur Diplom-Informatikerin.- Von 1995 bis 1999 wissenschaftliche Mitarbeiterin an der TU Dresden mit den Forschungs- und Arbeitsschwerpunkten (Deklarative) Programmiersprachen, parallele Programmierung und theoretische Informatik.- 1997 Forschungsaufenthalt an der Rheinisch-Westfälischen Technischen Hochschule Aachen.- Von 1999 bis 2001 wissenschaftliche Mitarbeiterin und seit 2002 wissenschaftliche Assistentin im Fachbereich Informatik der Technischen Universität Berlin (Fachgebiet Übersetzerbau und Programmiersprachen), Forschungs- und Arbeitsgebiete: Constraint-Programmierung, Programmiersprachen und Compilerbau.- 2001 Promotion zum Thema "Cooperation and Coordination of Constraint Solvers".

Armin Wolf:

Studium der Informatik an der Universität Karslruhe, 1991 Abschluss zum Diplom-Informatiker.- Von 1992 bis 1994 wissenschaftlicher Mitarbeiter an der Technischen Hochschule Berlin. Arbeitsschwerpunkte: formale Spezifikationen und deklarative Programmierung.- Seit 1994 wissenschaftlicher Mitarbeiter und Projektleiter am Fraunhofer Institut für Rechnerarchitektur und Softwaretechnik (FIRST) in Berlin. Arbeitsschwerpunkte: Methoden, Verfahren und Anwendungen der Constraint-Programmierung, insbesondere in der Planung.- Oktober 1998 bis Oktober 2003 Forschungskoordinator am Institut FIRST. Unterstützung der Institutsleitung bei der Neustrukturierung des Instituts, dessen wissenschaftliche Ausrichtung sowie dessen Überleitung in die Fraunhofer Gesellschaft. Präsentation des Instituts nach innen und außen.- Seit Januar 1999 stellvertretender Leiter des Bereichs "Planungstechnik" am Institut FIRST.- 1999 Promotion mit Auszeichnung zur adaptiven regelbasierten Constraint-Programmierung.

Details

Einband

Taschenbuch

Erscheinungsdatum

02.03.2007

Verlag

Springer Berlin

Seitenzahl

388

Maße (L/B/H)

23,5/15,5/2,1 cm

Beschreibung

Details

Einband

Taschenbuch

Erscheinungsdatum

02.03.2007

Verlag

Springer Berlin

Seitenzahl

388

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

618 g

Auflage

2007

Reihe

eXamen.press

Sprache

Deutsch

ISBN

978-3-540-23184-4

Das meinen unsere Kund*innen

0.0

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Kund*innenkonto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Erste Bewertung verfassen

Unsere Kund*innen meinen

0.0

0 Bewertungen filtern

Weitere Artikel finden Sie in

  • Einführung in die Constraint-Programmierung
  • Aus dem 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.