Boolean functions: theory, algorithms, and applications
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge [u.a.]
Cambridge Univ. Press
2011
|
| Series: | Encyclopedia of mathematics and its applications
142 |
| Subjects: | |
| Online Access: | Cover image Inhaltsverzeichnis Klappentext |
| Item Description: | Literaturverz.: S. 635 - 675 |
| Physical Description: | XXI, 687 S. graph. Darst. |
| ISBN: | 0521847516 9780521847513 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039975900 | ||
| 003 | DE-604 | ||
| 005 | 20150116 | ||
| 007 | t | ||
| 008 | 120322s2011 xxkd||| |||| 00||| eng d | ||
| 010 | |a 2011009690 | ||
| 020 | |a 0521847516 |c hardback |9 0-521-84751-6 | ||
| 020 | |a 9780521847513 |c hardback |9 978-0-521-84751-3 | ||
| 035 | |a (OCoLC)712397544 | ||
| 035 | |a (DE-599)BVBBV039975900 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-188 |a DE-83 |a DE-634 |a DE-703 | ||
| 050 | 0 | |a QA341 | |
| 082 | 0 | |a 511.3/24 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SK 160 |0 (DE-625)143220: |2 rvk | ||
| 084 | |a 06E30 |2 msc | ||
| 100 | 1 | |a Crama, Yves |d 1958- |e Verfasser |0 (DE-588)112187854 |4 aut | |
| 245 | 1 | 0 | |a Boolean functions |b theory, algorithms, and applications |c Yves Crama ; Peter L. Hammer |
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2011 | |
| 300 | |a XXI, 687 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Encyclopedia of mathematics and its applications |v 142 | |
| 500 | |a Literaturverz.: S. 635 - 675 | ||
| 650 | 4 | |a Algebraic functions | |
| 650 | 4 | |a Algebra, Boolean | |
| 650 | 0 | 7 | |a Boolesche Funktion |0 (DE-588)4146281-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Funktion |0 (DE-588)4141836-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Boolesche Algebra |0 (DE-588)4146280-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Boolesche Funktion |0 (DE-588)4146281-6 |D s |
| 689 | 0 | 1 | |a Algebraische Funktion |0 (DE-588)4141836-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Boolesche Funktion |0 (DE-588)4146281-6 |D s |
| 689 | 1 | 1 | |a Boolesche Algebra |0 (DE-588)4146280-4 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Hammer, Peter L. |d 1936-2006 |e Verfasser |0 (DE-588)124775292 |4 aut | |
| 830 | 0 | |a Encyclopedia of mathematics and its applications |v 142 |w (DE-604)BV000903719 |9 142 | |
| 856 | 4 | |u http://assets.cambridge.org/97805218/47513/cover/9780521847513.jpg |3 Cover image | |
| 856 | 4 | 2 | |m LoC Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024833321&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024833321&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-024833321 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804148956599418880 |
|---|---|
| adam_text | BOOLEAN FUNCTIONS
/ CRAMA, YVES
: 2011
TABLE OF CONTENTS / INHALTSVERZEICHNIS
FUNDAMENTAL CONCEPTS AND APPLICATIONS
BOOLEAN EQUATIONS
PRIME IMPLICANTS AND MINIMAL DNFS / PETER L. HAMMER AND ALEXANDER KOGAN
DUALITY THEORY / YVES CRAMA AND KAZUHISA MAKINO
QUADRATIC FUNCTIONS / BRUNO SIMEONE
HORN FUNCTIONS / ENDRE BOROS
ORTHOGONAL FORMS AND SHELLABILITY
REGULAR FUNCTIONS
THRESHOLD FUNCTIONS
RED-ONCE FUNCTIONS / MARTIN C. GOLUMBIC AND VLADIMIR GURVICH
CHARACTERIZATIONS OF SPECIAL CLASSES BY FUNCTIONAL EQUATIONS / LISA
HELLERSTEIN
PARTIALLY DEFINED BOOLEAN FUNCTIONS / TOSHIHIDE IBARAKI
PSEUDO-BOOLEAN FUNCTIONS
GRAPHS AND HYPERGRAPHS
ALGORITHMIC COMPLEXITY
JBOOL : A SOFTWARE TOOL / CLAUDE BENZAKEN AND NADIA BRAUNER.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
W cen
by prominent experts in the field, this monograph provides the first
comprehensive and unified presentation of the structural, algorithmic, and
applied aspects of the theory of Boolean runctions.
The book focuses on algebraic representations of Boolean functions, especially
ve
and conjunctive normal form representations. It presents within
ramework the fundamental elements of the theory (Boolean equations and
ability problems, prime
implicante
and associated short representations,
ration), an in-depth study of special classes of Boolean functions (quadratic,
ιοί,
shellable, regular, threshold, read-once functions and their characterization
quations)
.,
and two fruitful generalizations of the concept of Boolean
xrtiaily defined runctions and pseudo-Boolean functions). Several topics
inted
here in book form for the first time.
ause
of the unique depth and breadth of the unified treatment that it provides
» er
m
algorithms and applications, this monograph will have special
t
researchers and graduate students in discrete mathematics, operations
ch, computer science, engineering, and economics.
Professor of Operations Research and Production Management
se
former Director General of the
НЕС
Management School of the University
ognized as a prominent expert in the field
Ш
functi imbinatorial optimization, a.nd operations
ná
he
authored more
tł
ее
books on these subjec*
iitorial board of Discrete App ithematics,
Discret
and
ď
¿mai
of the Be,
CAMBRIDGE
UNIVERSITY
PRESS
www.cambridge.org
ISBN
978-0-521-84751-3
9 780521
847513J>
|
| any_adam_object | 1 |
| author | Crama, Yves 1958- Hammer, Peter L. 1936-2006 |
| author_GND | (DE-588)112187854 (DE-588)124775292 |
| author_facet | Crama, Yves 1958- Hammer, Peter L. 1936-2006 |
| author_role | aut aut |
| author_sort | Crama, Yves 1958- |
| author_variant | y c yc p l h pl plh |
| building | Verbundindex |
| bvnumber | BV039975900 |
| callnumber-first | Q - Science |
| callnumber-label | QA341 |
| callnumber-raw | QA341 |
| callnumber-search | QA341 |
| callnumber-sort | QA 3341 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 SK 160 |
| ctrlnum | (OCoLC)712397544 (DE-599)BVBBV039975900 |
| dewey-full | 511.3/24 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/24 |
| dewey-search | 511.3/24 |
| dewey-sort | 3511.3 224 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02642nam a2200577 cb4500</leader><controlfield tag="001">BV039975900</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150116 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120322s2011 xxkd||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2011009690</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521847516</subfield><subfield code="c">hardback</subfield><subfield code="9">0-521-84751-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521847513</subfield><subfield code="c">hardback</subfield><subfield code="9">978-0-521-84751-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)712397544</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039975900</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-188</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA341</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/24</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">SK 160</subfield><subfield code="0">(DE-625)143220:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">06E30</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Crama, Yves</subfield><subfield code="d">1958-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)112187854</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Boolean functions</subfield><subfield code="b">theory, algorithms, and applications</subfield><subfield code="c">Yves Crama ; Peter L. Hammer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXI, 687 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="1" ind2=" "><subfield code="a">Encyclopedia of mathematics and its applications</subfield><subfield code="v">142</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz.: S. 635 - 675</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic functions</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Boolean</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Boolesche Funktion</subfield><subfield code="0">(DE-588)4146281-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Funktion</subfield><subfield code="0">(DE-588)4141836-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Boolesche Funktion</subfield><subfield code="0">(DE-588)4146281-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Algebraische Funktion</subfield><subfield code="0">(DE-588)4141836-0</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">Boolesche Funktion</subfield><subfield code="0">(DE-588)4146281-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hammer, Peter L.</subfield><subfield code="d">1936-2006</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124775292</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Encyclopedia of mathematics and its applications</subfield><subfield code="v">142</subfield><subfield code="w">(DE-604)BV000903719</subfield><subfield code="9">142</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://assets.cambridge.org/97805218/47513/cover/9780521847513.jpg</subfield><subfield code="3">Cover image</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">LoC Fremddatenuebernahme</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=024833321&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment</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=024833321&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024833321</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV039975900 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:15:22Z |
| institution | BVB |
| isbn | 0521847516 9780521847513 |
| language | English |
| lccn | 2011009690 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024833321 |
| oclc_num | 712397544 |
| open_access_boolean | |
| owner | DE-188 DE-83 DE-634 DE-703 |
| owner_facet | DE-188 DE-83 DE-634 DE-703 |
| physical | XXI, 687 S. graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | Encyclopedia of mathematics and its applications |
| series2 | Encyclopedia of mathematics and its applications |
| spelling | Crama, Yves 1958- Verfasser (DE-588)112187854 aut Boolean functions theory, algorithms, and applications Yves Crama ; Peter L. Hammer Cambridge [u.a.] Cambridge Univ. Press 2011 XXI, 687 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Encyclopedia of mathematics and its applications 142 Literaturverz.: S. 635 - 675 Algebraic functions Algebra, Boolean Boolesche Funktion (DE-588)4146281-6 gnd rswk-swf Algebraische Funktion (DE-588)4141836-0 gnd rswk-swf Boolesche Algebra (DE-588)4146280-4 gnd rswk-swf Boolesche Funktion (DE-588)4146281-6 s Algebraische Funktion (DE-588)4141836-0 s DE-604 Boolesche Algebra (DE-588)4146280-4 s 1\p DE-604 Hammer, Peter L. 1936-2006 Verfasser (DE-588)124775292 aut Encyclopedia of mathematics and its applications 142 (DE-604)BV000903719 142 http://assets.cambridge.org/97805218/47513/cover/9780521847513.jpg Cover image LoC Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024833321&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024833321&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Crama, Yves 1958- Hammer, Peter L. 1936-2006 Boolean functions theory, algorithms, and applications Encyclopedia of mathematics and its applications Algebraic functions Algebra, Boolean Boolesche Funktion (DE-588)4146281-6 gnd Algebraische Funktion (DE-588)4141836-0 gnd Boolesche Algebra (DE-588)4146280-4 gnd |
| subject_GND | (DE-588)4146281-6 (DE-588)4141836-0 (DE-588)4146280-4 |
| title | Boolean functions theory, algorithms, and applications |
| title_auth | Boolean functions theory, algorithms, and applications |
| title_exact_search | Boolean functions theory, algorithms, and applications |
| title_full | Boolean functions theory, algorithms, and applications Yves Crama ; Peter L. Hammer |
| title_fullStr | Boolean functions theory, algorithms, and applications Yves Crama ; Peter L. Hammer |
| title_full_unstemmed | Boolean functions theory, algorithms, and applications Yves Crama ; Peter L. Hammer |
| title_short | Boolean functions |
| title_sort | boolean functions theory algorithms and applications |
| title_sub | theory, algorithms, and applications |
| topic | Algebraic functions Algebra, Boolean Boolesche Funktion (DE-588)4146281-6 gnd Algebraische Funktion (DE-588)4141836-0 gnd Boolesche Algebra (DE-588)4146280-4 gnd |
| topic_facet | Algebraic functions Algebra, Boolean Boolesche Funktion Algebraische Funktion Boolesche Algebra |
| url | http://assets.cambridge.org/97805218/47513/cover/9780521847513.jpg http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024833321&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024833321&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000903719 |
| work_keys_str_mv | AT cramayves booleanfunctionstheoryalgorithmsandapplications AT hammerpeterl booleanfunctionstheoryalgorithmsandapplications |