Boolean functions: theory, algorithms, and applications
Saved in:
| Format: | Electronic eBook |
|---|---|
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
2011
|
| Series: | Encyclopedia of mathematics and its applications
142 |
| Subjects: | |
| Online Access: | TUM01 Volltext |
| Item Description: | "Written 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 functions. The book focuses on algebraic representations of Boolean functions, especially disjunctive and conjunctive normal form representations. It presents with in this framework the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an indepth study of special classes of Boolean functions (quadratic, Horn, shellable, regular, threshold, read-once functions and their characterization by functional equations), and two fruitful generalizations of the concept of Boolean functions (partially defined functions and pseudo-Boolean functions). Several topics are presented here in book form forthe first time. Because of the unique depth and breadth of the unified treatment that it provides and its emphasis on algorithms and applications, this monograph will have special appeal for researchers and graduate students in discrete mathematics, operations research, computer science, engineering, and economics"-- Provided by publisher Includes bibliographical references and index |
| Physical Description: | 1 Online-Ressource (xxi, 687 p.) |
| ISBN: | 9781283127202 9781139074599 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV039938996 | ||
| 003 | DE-604 | ||
| 005 | 20151208 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 120307s2011 |||| o||u| ||||||eng d | ||
| 020 | |a 9781283127202 |c electronic bk. |9 978-1-283-12720-2 | ||
| 020 | |a 9781139074599 |9 9781139074599 | ||
| 035 | |a (OCoLC)839017953 | ||
| 035 | |a (DE-599)BVBBV039938996 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 | ||
| 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 MAT 060f |2 stub | ||
| 245 | 1 | 0 | |a Boolean functions |b theory, algorithms, and applications |c Yves Crama ; Peter L. Hammer |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2011 | |
| 300 | |a 1 Online-Ressource (xxi, 687 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Encyclopedia of mathematics and its applications |v 142 | |
| 500 | |a "Written 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 functions. The book focuses on algebraic representations of Boolean functions, especially disjunctive and conjunctive normal form representations. It presents with in this framework the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an indepth study of special classes of Boolean functions (quadratic, Horn, shellable, regular, threshold, read-once functions and their characterization by functional equations), and two fruitful generalizations of the concept of Boolean functions (partially defined functions and pseudo-Boolean functions). Several topics are presented here in book form forthe first time. Because of the unique depth and breadth of the unified treatment that it provides and its emphasis on algorithms and applications, this monograph will have special appeal for researchers and graduate students in discrete mathematics, operations research, computer science, engineering, and economics"-- Provided by publisher | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Algebraic functions | |
| 650 | 4 | |a Algebra, Boolean | |
| 650 | 0 | 7 | |a Algebraische Funktion |0 (DE-588)4141836-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Boolesche Funktion |0 (DE-588)4146281-6 |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 Boolesche Algebra |0 (DE-588)4146280-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Boolesche Funktion |0 (DE-588)4146281-6 |D s |
| 689 | 1 | 1 | |a Algebraische Funktion |0 (DE-588)4141836-0 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Crama, Yves |d 1958- |e Sonstige |0 (DE-588)112187854 |4 oth | |
| 700 | 1 | |a Hammer, Peter L. |d 1936-2006 |e Sonstige |0 (DE-588)124775292 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 0-521-84751-6 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 978-0-521-84751-3 |
| 830 | 0 | |a Encyclopedia of mathematics and its applications |v 142 |w (DE-604)BV000903719 |9 142 | |
| 856 | 4 | 0 | |u https://ebookcentral.proquest.com/lib/munchentech/detail.action?docID=691797 |x Aggregator |3 Volltext |
| 912 | |a ZDB-26-MYL | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-024797106 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://ebookcentral.proquest.com/lib/munchentech/detail.action?docID=691797 |l TUM01 |p ZDB-26-MYL |q TUM_PDA_MIL_gekauft |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804148906129358848 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)112187854 (DE-588)124775292 |
| building | Verbundindex |
| bvnumber | BV039938996 |
| 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 |
| classification_tum | MAT 060f |
| collection | ZDB-26-MYL |
| ctrlnum | (OCoLC)839017953 (DE-599)BVBBV039938996 |
| 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 | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03679nmm a2200589zcb4500</leader><controlfield tag="001">BV039938996</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20151208 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">120307s2011 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781283127202</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-283-12720-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139074599</subfield><subfield code="9">9781139074599</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)839017953</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039938996</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-91</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">MAT 060f</subfield><subfield code="2">stub</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</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxi, 687 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">"Written 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 functions. The book focuses on algebraic representations of Boolean functions, especially disjunctive and conjunctive normal form representations. It presents with in this framework the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an indepth study of special classes of Boolean functions (quadratic, Horn, shellable, regular, threshold, read-once functions and their characterization by functional equations), and two fruitful generalizations of the concept of Boolean functions (partially defined functions and pseudo-Boolean functions). Several topics are presented here in book form forthe first time. Because of the unique depth and breadth of the unified treatment that it provides and its emphasis on algorithms and applications, this monograph will have special appeal for researchers and graduate students in discrete mathematics, operations research, computer science, engineering, and economics"-- Provided by publisher</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</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">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 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">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">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</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">Algebraische Funktion</subfield><subfield code="0">(DE-588)4141836-0</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">Crama, Yves</subfield><subfield code="d">1958-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)112187854</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hammer, Peter L.</subfield><subfield code="d">1936-2006</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)124775292</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">0-521-84751-6</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">978-0-521-84751-3</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="0"><subfield code="u">https://ebookcentral.proquest.com/lib/munchentech/detail.action?docID=691797</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-26-MYL</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024797106</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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://ebookcentral.proquest.com/lib/munchentech/detail.action?docID=691797</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-26-MYL</subfield><subfield code="q">TUM_PDA_MIL_gekauft</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV039938996 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:14:34Z |
| institution | BVB |
| isbn | 9781283127202 9781139074599 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024797106 |
| oclc_num | 839017953 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xxi, 687 p.) |
| psigel | ZDB-26-MYL ZDB-26-MYL TUM_PDA_MIL_gekauft |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Cambridge University Press |
| record_format | marc |
| series | Encyclopedia of mathematics and its applications |
| series2 | Encyclopedia of mathematics and its applications |
| spelling | Boolean functions theory, algorithms, and applications Yves Crama ; Peter L. Hammer Cambridge Cambridge University Press 2011 1 Online-Ressource (xxi, 687 p.) txt rdacontent c rdamedia cr rdacarrier Encyclopedia of mathematics and its applications 142 "Written 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 functions. The book focuses on algebraic representations of Boolean functions, especially disjunctive and conjunctive normal form representations. It presents with in this framework the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an indepth study of special classes of Boolean functions (quadratic, Horn, shellable, regular, threshold, read-once functions and their characterization by functional equations), and two fruitful generalizations of the concept of Boolean functions (partially defined functions and pseudo-Boolean functions). Several topics are presented here in book form forthe first time. Because of the unique depth and breadth of the unified treatment that it provides and its emphasis on algorithms and applications, this monograph will have special appeal for researchers and graduate students in discrete mathematics, operations research, computer science, engineering, and economics"-- Provided by publisher Includes bibliographical references and index Algebraic functions Algebra, Boolean Algebraische Funktion (DE-588)4141836-0 gnd rswk-swf Boolesche Funktion (DE-588)4146281-6 gnd rswk-swf Boolesche Algebra (DE-588)4146280-4 gnd rswk-swf Boolesche Funktion (DE-588)4146281-6 s Boolesche Algebra (DE-588)4146280-4 s DE-604 Algebraische Funktion (DE-588)4141836-0 s 1\p DE-604 Crama, Yves 1958- Sonstige (DE-588)112187854 oth Hammer, Peter L. 1936-2006 Sonstige (DE-588)124775292 oth Erscheint auch als Druck-Ausgabe, Hardcover 0-521-84751-6 Erscheint auch als Druck-Ausgabe, Hardcover 978-0-521-84751-3 Encyclopedia of mathematics and its applications 142 (DE-604)BV000903719 142 https://ebookcentral.proquest.com/lib/munchentech/detail.action?docID=691797 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Boolean functions theory, algorithms, and applications Encyclopedia of mathematics and its applications Algebraic functions Algebra, Boolean Algebraische Funktion (DE-588)4141836-0 gnd Boolesche Funktion (DE-588)4146281-6 gnd Boolesche Algebra (DE-588)4146280-4 gnd |
| subject_GND | (DE-588)4141836-0 (DE-588)4146281-6 (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 Algebraische Funktion (DE-588)4141836-0 gnd Boolesche Funktion (DE-588)4146281-6 gnd Boolesche Algebra (DE-588)4146280-4 gnd |
| topic_facet | Algebraic functions Algebra, Boolean Algebraische Funktion Boolesche Funktion Boolesche Algebra |
| url | https://ebookcentral.proquest.com/lib/munchentech/detail.action?docID=691797 |
| volume_link | (DE-604)BV000903719 |
| work_keys_str_mv | AT cramayves booleanfunctionstheoryalgorithmsandapplications AT hammerpeterl booleanfunctionstheoryalgorithmsandapplications |