Verfügbarkeit: Introduction to mathematics of satisfiability

Introduction to mathematics of satisfiability:

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Marek, Victor W. 1943- (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Boca Raton [u.a.] CRC Press [u.a.] 2009
Schriftenreihe:	Chapman & Hall/CRC studies in informatics series
Schlagwörter:	Propositional calculus Logic, Symbolic and mathematical Erfüllbarkeitsproblem
Links:	http://www.gbv.de/dms/bowker/toc/9781439801673.pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018937109&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	XIII, 350 S.
ISBN:	9781439801673

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV036045326
003	DE-604
005	20161121
007	t\|
008	100222s2009 xx \|\|\|\| 00\|\|\| eng d
010			\|a 2009016171
020			\|a 9781439801673 \|9 978-1-439-80167-3
035			\|a (OCoLC)916880793
035			\|a (DE-599)GBV598918817
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-634 \|a DE-11 \|a DE-526 \|a DE-2070s
084			\|a ST 134 \|0 (DE-625)143590: \|2 rvk
100	1		\|a Marek, Victor W. \|d 1943- \|e Verfasser \|0 (DE-588)128838159 \|4 aut
245	1	0	\|a Introduction to mathematics of satisfiability \|c Victor W. Marek
264		1	\|a Boca Raton [u.a.] \|b CRC Press [u.a.] \|c 2009
300			\|a XIII, 350 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Chapman & Hall/CRC studies in informatics series
650		0	\|a Propositional calculus
650		0	\|a Logic, Symbolic and mathematical
650	0	7	\|a Erfüllbarkeitsproblem \|0 (DE-588)4323820-8 \|2 gnd \|9 rswk-swf
689	0	0	\|a Erfüllbarkeitsproblem \|0 (DE-588)4323820-8 \|D s
689	0		\|5 DE-604
856	4		\|m DE-601 \|q pdf/application \|u http://www.gbv.de/dms/bowker/toc/9781439801673.pdf \|3 Inhaltsverzeichnis
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=018937109&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-018937109

Datensatz im Suchindex

_version_	1819290282831642624
adam_text	IMAGE 1 PREFACE P. IX SETS, LATTICES, AND BOOLEAN ALGEBRAS P. 1 SETS AND SET-THEORETIC NOTATION P. 1 POSETS, LATTICES, AND BOOLEAN ALGEBRAS P. 3 WELL-ORDERINGS AND ORDINALS P. 5 THE FIXPOINT THEOREM P. 6 EXERCISES P. 9 INTRODUCTION TO PROPOSITIONAL LOGIC P. 11 SYNTAX OF PROPOSITIONAL LOGIC P. 11 SEMANTICS OF PROPOSITIONAL LOGIC P. 13 AUTARKIES P. 23 TAUTOLOGIES AND SUBSTITUTIONS P. 28 LINDENBAUM ALGEBRA P. 32 PERMUTATIONS P. 34 DUALITY P. 38 SEMANTICAL CONSEQUENCE, OPERATIONS MOD AND TH P. 39 EXERCISES P. 42 NORMAL FORMS OF FORMULAS P. 45 CANONICAL NEGATION-NORMAL FORM P. 46 OCCURRENCES OF VARIABLES AND THREE-VALUED LOGIC P. 48 CANONICAL FORMS P. 50 REDUCED NORMAL FORMS P. 54 COMPLETE NORMAL FORMS P. 56 LINDENBAUM ALGEBRA REVISITED P. 58 OTHER NORMAL FORMS P. 59 EXERCISES P. 60 THE CRAIG LEMMA P. 63 CRAIG LEMMA P. 63 STRONG CRAIG LEMMA P. 66 TYING UP LOOSE ENDS P. 69 EXERCISES P. 71 COMPLETE SETS OF FUNCTORS P. 73 BEYOND DE MORGAN FUNCTORS P. 74 TABLES P. 75 FIELD STRUCTURE IN BOOL P. 78 INCOMPLETE SETS OF FUNCTORS, POST CLASSES P. 83 POST CRITERION FOR COMPLETENESS P. 85 IF-THEN-ELSE FUNCTOR P. 88 EXERCISES P. 90 COMPACTNESS THEOREM P. 93 KOENIG LEMMA P. 93 IMAGE 2 COMPACTNESS, DENUMERABLE CASE P. 95 CONTINUITY OF THE OPERATOR CN P. 99 EXERCISES P. 100 CLAUSAL LOGIC AND RESOLUTION P. 101 CLAUSAL LOGIC P. 102 RESOLUTION RULE P. 107 COMPLETENESS RESULTS P. 110 QUERY-ANSWERING WITH RESOLUTION P. 113 DAVIS-PUTNAM LEMMA P. 117 SEMANTIC RESOLUTION P. 119 AUTARK AND LEAN SETS P. 124 EXERCISES P. 132 TESTING SATISFIABILITY P. 133 TABLE METHOD P. 133 HINTIKKASETS P. 135 TABLEAUX P. 137 DAVIS-PUTNAM ALGORITHM P. 144 BOOLEAN CONSTRAINT PROPAGATION P. 154 THE DPLL ALGORITHM P. 158 IMPROVEMENTS TO DPLL? P. 161 REDUCTION OF THE SEARCH SAT TO DECISION SAT P. 162 EXERCISES P. 163 POLYNOMIAL CASES OF SAT P. 165 POSITIVE AND NEGATIVE FORMULAS P. 165 HORN FORMULAS P. 167 AUTARKIES FOR HORN THEORIES P. 176 DUAL HORN FORMULAS P. 181 KROM FORMULAS AND 2-SAT P. 185 RENAMEABLE CLASSES OF FORMULAS P. 194 AFFINE FORMULAS P. 199 EXERCISES P. 204 SAT, INTEGER PROGRAMMING, AND MATRIX ALGEBRA P. 205 REPRESENTING CLAUSES BY INEQUALITIES P. 206 RESOLUTION AND OTHER RULES OF PROOF P. 207 PIGEON-HOLE PRINCIPLE AND THE CUTTING PLANE RULE P. 209 SATISFIABILITY AND {-1, L}-IN LEGER PROGRAMMING P. 214 EMBEDDING SAT INTO MATRIX ALGEBRA P. 216 EXERCISES P. 225 CODING RUNS OF TURING MACHINES, NP-COMPLETENESS P. 227 TURING MACHINES P. 228 THE LANGUAGE P. 231 IMAGE 3 CODING THE RUNS P. 232 CORRECTNESS OF OUR CODING P. 233 REDUCTION TO 3-CLAUSES P. 237 CODING FORMULAS AS CLAUSES AND CIRCUITS P. 239 DECISION PROBLEM FOR AUTARKIES P. 243 SEARCH PROBLEM FOR AUTARKIES P. 245 EITHER-OR CNFS P. 247 OTHER CASES P. 249 EXERCISES P. 252 COMPUTATIONAL KNOWLEDGE REPRESENTATION WITH SAT - GETTING STARTED P. 253 ENCODING INTO SAT, DIMACS FORMAT P. 254 KNOWLEDGE REPRESENTATION OVER FINITE DOMAINS P. 261 CARDINALITY CONSTRAINTS, THE LANGUAGE L P. 267 WEIGHT CONSTRAINTS P. 273 MONOTONE CONSTRAINTS P. 276 EXERCISES P. 283 KNOWLEDGE REPRESENTATION AND CONSTRAINT SATISFACTION P. 285 EXTENSIONAL AND INTENTIONAL RELATIONS, CWA P. 285 CONSTRAINT SATISFACTION AND SAT P. 292 SATISFIABILITY AS CONSTRAINT SATISFACTION P. 297 POLYNOMIAL CASES OF BOOLEAN CSP P. 300 SCHAEFER DICHOTOMY THEOREM P. 305 EXERCISES P. 317 ANSWER SET PROGRAMMING P. 321 HORN LOGIC REVISITED P. 321 MODELS OF PROGRAMS P. 322 SUPPORTED MODELS P. 323 STABLE MODELS P. 326 ANSWER SET PROGRAMMING AND SAT P. 329 KNOWLEDGE REPRESENTATION AND ASP P. 333 THREE-COLORING OF GRAPHS P. 334 HAMILTONIAN CYCLES IN ASP P. 335 COMPLEXITY ISSUES FOR ASP P. 336 EXERCISES P. 337 CONCLUSIONS P. 339 REFERENCES P. 339 INDEX P. 347 TABLE OF CONTENTS PROVIDED BY BLACKWELL S BOOK SERVICES AND R.R. BOWKER. USED WITH PERMISSION.
any_adam_object	1
author	Marek, Victor W. 1943-
author_GND	(DE-588)128838159
author_facet	Marek, Victor W. 1943-
author_role	aut
author_sort	Marek, Victor W. 1943-
author_variant	v w m vw vwm
building	Verbundindex
bvnumber	BV036045326
classification_rvk	ST 134
ctrlnum	(OCoLC)916880793 (DE-599)GBV598918817
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01511nam a2200373 c 4500</leader><controlfield tag="001">BV036045326</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161121 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">100222s2009 xx \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2009016171</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781439801673</subfield><subfield code="9">978-1-439-80167-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)916880793</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV598918817</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="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-2070s</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Marek, Victor W.</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128838159</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to mathematics of satisfiability</subfield><subfield code="c">Victor W. Marek</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boca Raton [u.a.]</subfield><subfield code="b">CRC Press [u.a.]</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 350 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="490" ind1="0" ind2=" "><subfield code="a">Chapman & Hall/CRC studies in informatics series</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Propositional calculus</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Erfüllbarkeitsproblem</subfield><subfield code="0">(DE-588)4323820-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Erfüllbarkeitsproblem</subfield><subfield code="0">(DE-588)4323820-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="m">DE-601</subfield><subfield code="q">pdf/application</subfield><subfield code="u">http://www.gbv.de/dms/bowker/toc/9781439801673.pdf</subfield><subfield code="3">Inhaltsverzeichnis</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=018937109&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018937109</subfield></datafield></record></collection>
id	DE-604.BV036045326
illustrated	Not Illustrated
indexdate	2024-12-20T14:05:31Z
institution	BVB
isbn	9781439801673
language	English
lccn	2009016171
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-018937109
oclc_num	916880793
open_access_boolean
owner	DE-634 DE-11 DE-526 DE-2070s
owner_facet	DE-634 DE-11 DE-526 DE-2070s
physical	XIII, 350 S.
publishDate	2009
publishDateSearch	2009
publishDateSort	2009
publisher	CRC Press [u.a.]
record_format	marc
series2	Chapman & Hall/CRC studies in informatics series
spellingShingle	Marek, Victor W. 1943- Introduction to mathematics of satisfiability Propositional calculus Logic, Symbolic and mathematical Erfüllbarkeitsproblem (DE-588)4323820-8 gnd
subject_GND	(DE-588)4323820-8
title	Introduction to mathematics of satisfiability
title_auth	Introduction to mathematics of satisfiability
title_exact_search	Introduction to mathematics of satisfiability
title_full	Introduction to mathematics of satisfiability Victor W. Marek
title_fullStr	Introduction to mathematics of satisfiability Victor W. Marek
title_full_unstemmed	Introduction to mathematics of satisfiability Victor W. Marek
title_short	Introduction to mathematics of satisfiability
title_sort	introduction to mathematics of satisfiability
topic	Propositional calculus Logic, Symbolic and mathematical Erfüllbarkeitsproblem (DE-588)4323820-8 gnd
topic_facet	Propositional calculus Logic, Symbolic and mathematical Erfüllbarkeitsproblem
url	http://www.gbv.de/dms/bowker/toc/9781439801673.pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018937109&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT marekvictorw introductiontomathematicsofsatisfiability

Verfügbarkeit

‌

Per Fernleihe bestellen Inhaltsverzeichnis