Constraint-Programmierung : Grundlagen und Anwendungen - Taschenbuch

EAN (ISBN-13): 9783540606703
ISBN (ISBN-10): 354060670X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1997
Herausgeber: Springer Berlin
165 Seiten
Gewicht: 0,195 kg
Sprache: ger/Deutsch

Buch in der Datenbank seit 2007-04-26T19:30:47+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-01-31T08:59:56+01:00 (Berlin)
ISBN/EAN: 354060670X

ISBN - alternative Schreibweisen:
3-540-60670-X, 978-3-540-60670-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: slim, frühwirth, thom, fra, fruhwirth
Titel des Buches: programm 1928, program, cons, grundlagen und programmierung, constraint, anwendungen, lehrbuch

---

Daten vom Verlag:

Autor/in: Thom Frühwirth; Slim Abdennadher
Titel: Springer-Lehrbuch; Constraint-Programmierung - Grundlagen und Anwendungen
Verlag: Springer; Springer Berlin
165 Seiten
Erscheinungsjahr: 1997-09-12
Berlin; Heidelberg; DE
Gewicht: 0,440 kg
Sprache: Deutsch
22,99 € (DE)
23,64 € (AT)
25,50 CHF (CH)
POD
IX, 165 S.

BC; Book; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Boolesche Algebra; Logikprogrammierung; Optimierung; Problemlösen; Programmieren; Programmierung; Prädikatenlogik; Schließen; Semantik; Syntax; Verifikation; nebenläufig; A; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Artificial Intelligence; Programming Languages, Compilers, Interpreters; Programming Techniques; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Artificial Intelligence; Compilers and Interpreters; Programming Techniques; Mathematics and Statistics; Mathematische Grundlagen; Theoretische Informatik; Künstliche Intelligenz; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; EA

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 NCLP-Kalkül.- 6.2 Deklarative Semantik.- 7 Constraint Handling Rules.- 7.1 CHR-Kalkül.- 7.2 Deklarative Semantik.- 8 Constraintsysteme.- 8.1 Terme T.- Anwendung: Typüberprüfung.- 8.2 Boolesche Algebra B.- Anwendung: Digitale Schaltungen.- 8.3 Endliche Bereiche FD.- Anwendung: Zeitplanung.- 8.4 Lineare Gleichungssysteme R.- Anwendung: Finanzwesen.- 8.5 Nichtlineare Gleichungssysteme I.- Anwendung: Mietspiegel.- 9 Anwendungen.- 9.1 Marktüberblick.- 9.2 Der Münchner Mietspiegel Online.- 9.3 Planung drahtloser Systeme.- A Übungsaufgaben und Lösungsvorschläge.- A.1 Übungsaufgaben Logikprogrammierung.- A.2 Übungsaufgaben Constrainterweiterungen.- A.3 Übungsaufgaben Constraintsysteme.- A.4 Lösungsvorschläge.- Abbildungsverzeichnis.
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.