Einführung in die Constraint-Programmierung: Grundlagen, Methoden, Sprachen, Anwendungen
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 P...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Berlin [u.a.]
Springer
2007
|
| Series: | eXamen.press
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Summary: | 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.- Heuristiken. |
| Physical Description: | XII, 388 S. graph. Darst. |
| ISBN: | 9783540231844 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV021547521 | ||
| 003 | DE-604 | ||
| 005 | 20071115 | ||
| 007 | t | ||
| 008 | 060411s2007 gw d||| |||| 00||| ger d | ||
| 015 | |a 04,N49,0034 |2 dnb | ||
| 016 | 7 | |a 972683933 |2 DE-101 | |
| 020 | |a 9783540231844 |9 978-3-540-23184-4 | ||
| 024 | 3 | |a 9783540231844 | |
| 028 | 5 | 2 | |a 11324584 |
| 035 | |a (OCoLC)180885005 | ||
| 035 | |a (DE-599)BVBBV021547521 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-20 |a DE-703 |a DE-573 |a DE-706 |a DE-824 |a DE-91G |a DE-29T |a DE-83 |a DE-634 |a DE-11 | ||
| 082 | 0 | |a 004 | |
| 082 | 0 | |a 005.116076 |2 22/ger | |
| 084 | |a SK 870 |0 (DE-625)143265: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 100 | 1 | |a Hofstedt, Petra |e Verfasser |0 (DE-588)1017108773 |4 aut | |
| 245 | 1 | 0 | |a Einführung in die Constraint-Programmierung |b Grundlagen, Methoden, Sprachen, Anwendungen |c Petra Hofstedt ; Armin Wolf |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2007 | |
| 300 | |a XII, 388 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a eXamen.press | |
| 520 | |a 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.- Heuristiken. | ||
| 650 | 0 | 7 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Wolf, Armin |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014763642&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014763642 | ||
Record in the Search Index
| _version_ | 1804135302030163968 |
|---|---|
| adam_text |
|
| adam_txt | |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Hofstedt, Petra Wolf, Armin |
| author_GND | (DE-588)1017108773 |
| author_facet | Hofstedt, Petra Wolf, Armin |
| author_role | aut aut |
| author_sort | Hofstedt, Petra |
| author_variant | p h ph a w aw |
| building | Verbundindex |
| bvnumber | BV021547521 |
| classification_rvk | SK 870 ST 230 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)180885005 (DE-599)BVBBV021547521 |
| dewey-full | 004 005.116076 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 005 - Computer programming, programs, data, security |
| dewey-raw | 004 005.116076 |
| dewey-search | 004 005.116076 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| discipline_str_mv | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03367nam a2200481 c 4500</leader><controlfield tag="001">BV021547521</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20071115 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060411s2007 gw d||| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">04,N49,0034</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">972683933</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540231844</subfield><subfield code="9">978-3-540-23184-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540231844</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11324584</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)180885005</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021547521</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.116076</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 870</subfield><subfield code="0">(DE-625)143265:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hofstedt, Petra</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1017108773</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die Constraint-Programmierung</subfield><subfield code="b">Grundlagen, Methoden, Sprachen, Anwendungen</subfield><subfield code="c">Petra Hofstedt ; Armin Wolf</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 388 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">eXamen.press</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.- Heuristiken.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wolf, Armin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014763642&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014763642</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV021547521 |
| illustrated | Illustrated |
| index_date | 2024-07-02T14:30:19Z |
| indexdate | 2024-07-09T20:38:20Z |
| institution | BVB |
| isbn | 9783540231844 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014763642 |
| oclc_num | 180885005 |
| open_access_boolean | |
| owner | DE-20 DE-703 DE-573 DE-706 DE-824 DE-91G DE-BY-TUM DE-29T DE-83 DE-634 DE-11 |
| owner_facet | DE-20 DE-703 DE-573 DE-706 DE-824 DE-91G DE-BY-TUM DE-29T DE-83 DE-634 DE-11 |
| physical | XII, 388 S. graph. Darst. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Springer |
| record_format | marc |
| series2 | eXamen.press |
| spelling | Hofstedt, Petra Verfasser (DE-588)1017108773 aut Einführung in die Constraint-Programmierung Grundlagen, Methoden, Sprachen, Anwendungen Petra Hofstedt ; Armin Wolf Berlin [u.a.] Springer 2007 XII, 388 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier eXamen.press 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.- Heuristiken. Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Constraint-Programmierung (DE-588)4567206-4 s DE-604 Wolf, Armin Verfasser aut DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014763642&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hofstedt, Petra Wolf, Armin Einführung in die Constraint-Programmierung Grundlagen, Methoden, Sprachen, Anwendungen Constraint-Programmierung (DE-588)4567206-4 gnd |
| subject_GND | (DE-588)4567206-4 (DE-588)4123623-3 |
| title | Einführung in die Constraint-Programmierung Grundlagen, Methoden, Sprachen, Anwendungen |
| title_auth | Einführung in die Constraint-Programmierung Grundlagen, Methoden, Sprachen, Anwendungen |
| title_exact_search | Einführung in die Constraint-Programmierung Grundlagen, Methoden, Sprachen, Anwendungen |
| title_exact_search_txtP | Einführung in die Constraint-Programmierung Grundlagen, Methoden, Sprachen, Anwendungen |
| title_full | Einführung in die Constraint-Programmierung Grundlagen, Methoden, Sprachen, Anwendungen Petra Hofstedt ; Armin Wolf |
| title_fullStr | Einführung in die Constraint-Programmierung Grundlagen, Methoden, Sprachen, Anwendungen Petra Hofstedt ; Armin Wolf |
| title_full_unstemmed | Einführung in die Constraint-Programmierung Grundlagen, Methoden, Sprachen, Anwendungen Petra Hofstedt ; Armin Wolf |
| title_short | Einführung in die Constraint-Programmierung |
| title_sort | einfuhrung in die constraint programmierung grundlagen methoden sprachen anwendungen |
| title_sub | Grundlagen, Methoden, Sprachen, Anwendungen |
| topic | Constraint-Programmierung (DE-588)4567206-4 gnd |
| topic_facet | Constraint-Programmierung Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014763642&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hofstedtpetra einfuhrungindieconstraintprogrammierunggrundlagenmethodensprachenanwendungen AT wolfarmin einfuhrungindieconstraintprogrammierunggrundlagenmethodensprachenanwendungen |