Effective logic computation:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York [u.a.]
Wiley
1998
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | "A Wiley-Interscience publication." |
| Beschreibung: | 476 S. |
| ISBN: | 0471238864 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021721018 | ||
| 003 | DE-604 | ||
| 005 | 20061004 | ||
| 007 | t | ||
| 008 | 060906s1998 xxu |||| 00||| eng d | ||
| 020 | |a 0471238864 |c cloth |9 0-471-23886-4 | ||
| 035 | |a (OCoLC)37373437 | ||
| 035 | |a (DE-599)BVBBV021721018 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-703 |a DE-634 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a T57.6 | |
| 082 | 0 | |a 003 |2 21 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 084 | |a 68Q15 |2 msc | ||
| 084 | |a 03D15 |2 msc | ||
| 100 | 1 | |a Truemper, Klaus |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Effective logic computation |c Klaus Truemper |
| 264 | 1 | |a New York [u.a.] |b Wiley |c 1998 | |
| 300 | |a 476 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a "A Wiley-Interscience publication." | ||
| 650 | 7 | |a Logique - Informatique |2 ram | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a Systèmes, Analyse de |2 ram | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Operations research | |
| 650 | 4 | |a System analysis | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Aussagenlogik |0 (DE-588)4136098-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Lösung |g Mathematik |0 (DE-588)4120678-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
| 689 | 0 | 1 | |a Lösung |g Mathematik |0 (DE-588)4120678-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | 1 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |5 DE-188 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014934691&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014934691 | ||
Datensatz im Suchindex
| _version_ | 1804135562924261376 |
|---|---|
| adam_text | EFFECTIVE LOGIC COMPUTATION KLAUS TRUEMPER A WILEY-INTERSCIENCE
PUBLICATION JOHN WILEY & SONS, INC. NEW YORK * CHICHESTER * WEINHEIM *
BRISBANE * SINGAPORE * TORONTO CONTENTS PREFACE , IX CHAPTER 1
INTRODUCTION 1.1 OVERVIEW 1 1.2 HISTORY 5 1.3 LOGIC PROBLEMS 7 1.4 PRIOR
RESULTS 9 1.5 OVERALL APPROACH 17 1.6 READING GUIDE 20 CHAPTER 2 BASIC
CONCEPTS 22 2.1 OVERVIEW 22 2.2 SETS 22 2.3 PROPOSITIONAL LOGIC 23 2.4
FIRST-ORDER LOGIC 31 2.5 GRAPHS 33 2.6 MATRICES 49 2.7 COMPLEXITY OF
ALGORITHMS 67 2.8 REFERENCES 68 CONTENTS VII CHAPTER 6 CHARACTERIZATIONS
OF HIDDEN NEAR NEGATIVITY 228 6.1 OVERVIEW 228 6.2 MINIMAL EXCLUDED
BOOLEAN MINORS 229 6.3 MINIMAL EXCLUDED SUBREGIONS 244 6.4 REFERENCES
254 CHAPTER 7 BOOLEAN CLOSED MATRICES 256 7.1 OVERVIEW 256 7.2
DEFINITIONS 260 7.3 CHARACTERIZATIONS 262 7.4 PROPERTIES 270 7.5
ALGORITHMS 275 7.6 EXTENSIONS 281 CHAPTER 8 CLOSED SUBREGION
DECOMPOSITION 282 8.1 OVERVIEW 282 8.2 ALGORITHM FOR SAT AND MINSAT 285
8.3 HEURISTIC FOR INTEGER PROGRAMS 291 8.4 DECOMPOSITION FOR 2SAT 297
8.5 DECOMPOSITION FOR HIDDEN NEAR NEGATIVITY 300 8.6 DECOMPOSITION FOR
NETWORK PROPERTY 303 8.7 EXTENSIONS AND REFERENCES 307 CHAPTER 9
MONOTONE SUM 313 9.1 OVERVIEW 313 9.2 DEFINITIONS AND PROPERTIES 314 9.3
DECOMPOSITION ALGORITHM 317 9.4 SOLUTION ALGORITHM 322 9.5 EXTENSIONS
AND REFERENCES 327 CHAPTER 10 CLOSED SUM 330 10.1 OVERVIEW 330 10.2
REVIEW AND DEFINITIONS 331 10.3 DECOMPOSITION ALGORITHMS 334 10.4
SOLUTION ALGORITHM 341 10.5 EXTENSIONS 348 VIII CONTENTS CHAPTER 11
AUGMENTED SUM 350 11.1 OVERVIEW 350 11.2 DEFINITIONS 351 11.3
DECOMPOSITION ALGORITHM 356 11.4 SOLUTION ALGORITHM 360 11.5 EXTENSIONS
AND REFERENCES 367 CHAPTER 12 LINEAR SUM 369 12.1 OVERVIEW 369 12.2
DEFINITIONS 370 . 12.3 DECOMPOSITION ALGORITHMS 376 12.4 SOLUTION
ALGORITHM 381 12.5 EXTENSIONS 391 CHAPTER 13 ANALYSIS ALGORITHM 394 13.1
OVERVIEW 394 13.2 STRUCTURE OF SOLUTION ALGORITHMS 395 13.3 ALGORITHM
FOR COMPONENT MATRIX 397 13.4 ANALYSIS ALGORITHM 401 13.5 APPROXIMATE
MINIMIZATION 414 13.6 PRE- AND POSTPROCESSING 417 13.7 EXTENSIONS AND
REFERENCES 421 CHAPTER 14 CENTRAL AND SEMICENTRAL CLASSES 422 14.1
OVERVIEW 422 14.2 REVIEW OF CENTRALITY AND SEMICENTRALITY RESULTS 422
14.3 CONSTRUCTION OF CENTRAL AND SEMICENTRAL CLASSES 426 14.4 LINK TO
ANALYSIS ALGORITHM 428 14.5 EXTENSIONS AND REFERENCES 430 REFERENCES 431
AUTHOR INDEX 451 SUBJECT INDEX 457
|
| adam_txt |
EFFECTIVE LOGIC COMPUTATION KLAUS TRUEMPER A WILEY-INTERSCIENCE
PUBLICATION JOHN WILEY & SONS, INC. NEW YORK * CHICHESTER * WEINHEIM *
BRISBANE * SINGAPORE * TORONTO CONTENTS PREFACE , IX CHAPTER 1
INTRODUCTION 1.1 OVERVIEW 1 1.2 HISTORY 5 1.3 LOGIC PROBLEMS 7 1.4 PRIOR
RESULTS 9 1.5 OVERALL APPROACH 17 1.6 READING GUIDE 20 CHAPTER 2 BASIC
CONCEPTS 22 2.1 OVERVIEW 22 2.2 SETS 22 2.3 PROPOSITIONAL LOGIC 23 2.4
FIRST-ORDER LOGIC 31 2.5 GRAPHS 33 2.6 MATRICES 49 2.7 COMPLEXITY OF
ALGORITHMS 67 2.8 REFERENCES 68 CONTENTS VII CHAPTER 6 CHARACTERIZATIONS
OF HIDDEN NEAR NEGATIVITY 228 6.1 OVERVIEW 228 6.2 MINIMAL EXCLUDED
BOOLEAN MINORS 229 6.3 MINIMAL EXCLUDED SUBREGIONS 244 6.4 REFERENCES
254 CHAPTER 7 BOOLEAN CLOSED MATRICES 256 7.1 OVERVIEW 256 7.2
DEFINITIONS 260 7.3 CHARACTERIZATIONS 262 7.4 PROPERTIES 270 7.5
ALGORITHMS 275 7.6 EXTENSIONS 281 CHAPTER 8 CLOSED SUBREGION
DECOMPOSITION 282 8.1 OVERVIEW 282 8.2 ALGORITHM FOR SAT AND MINSAT 285
8.3 HEURISTIC FOR INTEGER PROGRAMS 291 8.4 DECOMPOSITION FOR 2SAT 297
8.5 DECOMPOSITION FOR HIDDEN NEAR NEGATIVITY 300 8.6 DECOMPOSITION FOR
NETWORK PROPERTY 303 8.7 EXTENSIONS AND REFERENCES 307 CHAPTER 9
MONOTONE SUM 313 9.1 OVERVIEW 313 9.2 DEFINITIONS AND PROPERTIES 314 9.3
DECOMPOSITION ALGORITHM 317 9.4 SOLUTION ALGORITHM 322 9.5 EXTENSIONS
AND REFERENCES 327 CHAPTER 10 CLOSED SUM 330 10.1 OVERVIEW 330 10.2
REVIEW AND DEFINITIONS 331 10.3 DECOMPOSITION ALGORITHMS 334 10.4
SOLUTION ALGORITHM 341 10.5 EXTENSIONS 348 VIII CONTENTS CHAPTER 11
AUGMENTED SUM 350 11.1 OVERVIEW 350 11.2 DEFINITIONS 351 11.3
DECOMPOSITION ALGORITHM 356 11.4 SOLUTION ALGORITHM 360 11.5 EXTENSIONS
AND REFERENCES 367 CHAPTER 12 LINEAR SUM 369 12.1 OVERVIEW 369 12.2
DEFINITIONS 370 . 12.3 DECOMPOSITION ALGORITHMS 376 12.4 SOLUTION
ALGORITHM 381 12.5 EXTENSIONS 391 CHAPTER 13 ANALYSIS ALGORITHM 394 13.1
OVERVIEW 394 13.2 STRUCTURE OF SOLUTION ALGORITHMS 395 13.3 ALGORITHM
FOR COMPONENT MATRIX 397 13.4 ANALYSIS ALGORITHM 401 13.5 APPROXIMATE
MINIMIZATION 414 13.6 PRE- AND POSTPROCESSING 417 13.7 EXTENSIONS AND
REFERENCES 421 CHAPTER 14 CENTRAL AND SEMICENTRAL CLASSES 422 14.1
OVERVIEW 422 14.2 REVIEW OF CENTRALITY AND SEMICENTRALITY RESULTS 422
14.3 CONSTRUCTION OF CENTRAL AND SEMICENTRAL CLASSES 426 14.4 LINK TO
ANALYSIS ALGORITHM 428 14.5 EXTENSIONS AND REFERENCES 430 REFERENCES 431
AUTHOR INDEX 451 SUBJECT INDEX 457 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Truemper, Klaus |
| author_facet | Truemper, Klaus |
| author_role | aut |
| author_sort | Truemper, Klaus |
| author_variant | k t kt |
| building | Verbundindex |
| bvnumber | BV021721018 |
| callnumber-first | T - Technology |
| callnumber-label | T57 |
| callnumber-raw | T57.6 |
| callnumber-search | T57.6 |
| callnumber-sort | T 257.6 |
| callnumber-subject | T - General Technology |
| classification_rvk | SK 130 ST 125 |
| ctrlnum | (OCoLC)37373437 (DE-599)BVBBV021721018 |
| dewey-full | 003 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 003 - Systems |
| dewey-raw | 003 |
| dewey-search | 003 |
| dewey-sort | 13 |
| 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>02017nam a2200553zc 4500</leader><controlfield tag="001">BV021721018</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20061004 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060906s1998 xxu |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0471238864</subfield><subfield code="c">cloth</subfield><subfield code="9">0-471-23886-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37373437</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021721018</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">T57.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68Q15</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03D15</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Truemper, Klaus</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Effective logic computation</subfield><subfield code="c">Klaus Truemper</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Wiley</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">476 S.</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="500" ind1=" " ind2=" "><subfield code="a">"A Wiley-Interscience publication."</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique - Informatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes, Analyse de</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Operations research</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System analysis</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lösung</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4120678-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Lösung</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4120678-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=014934691&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-014934691</subfield></datafield></record></collection> |
| id | DE-604.BV021721018 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T15:23:24Z |
| indexdate | 2024-07-09T20:42:29Z |
| institution | BVB |
| isbn | 0471238864 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014934691 |
| oclc_num | 37373437 |
| open_access_boolean | |
| owner | DE-703 DE-634 DE-83 DE-188 |
| owner_facet | DE-703 DE-634 DE-83 DE-188 |
| physical | 476 S. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Wiley |
| record_format | marc |
| spelling | Truemper, Klaus Verfasser aut Effective logic computation Klaus Truemper New York [u.a.] Wiley 1998 476 S. txt rdacontent n rdamedia nc rdacarrier "A Wiley-Interscience publication." Logique - Informatique ram Programmation logique ram Systèmes, Analyse de ram Logic, Symbolic and mathematical Operations research System analysis Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Aussagenlogik (DE-588)4136098-9 gnd rswk-swf Lösung Mathematik (DE-588)4120678-2 gnd rswk-swf Aussagenlogik (DE-588)4136098-9 s Lösung Mathematik (DE-588)4120678-2 s DE-604 Mathematische Logik (DE-588)4037951-6 s Logische Programmierung (DE-588)4195096-3 s DE-188 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014934691&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Truemper, Klaus Effective logic computation Logique - Informatique ram Programmation logique ram Systèmes, Analyse de ram Logic, Symbolic and mathematical Operations research System analysis Logische Programmierung (DE-588)4195096-3 gnd Mathematische Logik (DE-588)4037951-6 gnd Aussagenlogik (DE-588)4136098-9 gnd Lösung Mathematik (DE-588)4120678-2 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4037951-6 (DE-588)4136098-9 (DE-588)4120678-2 |
| title | Effective logic computation |
| title_auth | Effective logic computation |
| title_exact_search | Effective logic computation |
| title_exact_search_txtP | Effective logic computation |
| title_full | Effective logic computation Klaus Truemper |
| title_fullStr | Effective logic computation Klaus Truemper |
| title_full_unstemmed | Effective logic computation Klaus Truemper |
| title_short | Effective logic computation |
| title_sort | effective logic computation |
| topic | Logique - Informatique ram Programmation logique ram Systèmes, Analyse de ram Logic, Symbolic and mathematical Operations research System analysis Logische Programmierung (DE-588)4195096-3 gnd Mathematische Logik (DE-588)4037951-6 gnd Aussagenlogik (DE-588)4136098-9 gnd Lösung Mathematik (DE-588)4120678-2 gnd |
| topic_facet | Logique - Informatique Programmation logique Systèmes, Analyse de Logic, Symbolic and mathematical Operations research System analysis Logische Programmierung Mathematische Logik Aussagenlogik Lösung Mathematik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014934691&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT truemperklaus effectivelogiccomputation |