Boolean models and methods in mathematics, computer science, and engineering /
Crama, Yves
Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer. - Cambridge ; New York : Cambridge University Press, 2010. - xviii, 759 p. : ill. ; 25 cm. - Encyclopedia of mathematics and its applications ; [134] . - Encyclopedia of mathematics and its applications ; v. 134. .
Series numbering from jacket.
Includes bibliographical references.
Algebraic structures. Compositions and clones of Boolean functions / Decomposition of Boolean functions / Logic. Proof theory / Probabilistic analysis of satisfiability algorithms / Optimization methods in logic / Learning theory and cryptography. Probabilistic learning and Boolean functions / Learning Boolean functions with queries / Boolean functions for cryptography and error-correcting codes / Vectorial Boolean functions for cryptography / Graph representations and efficient computation models. Binary decision diagrams / Circuit complexity / Fourier transforms and threshold circuit complexity / Neural networks and Boolean functions / Decision lists and related classes of Boolean functions / Applications in engineering. Hardware equivalence and property verification / Synthesis of multi-level Boolean networks / Boolean aspects of network reliability / Reinhard P�oschel and Ivo Rosenberg -- Jan C. Bioch -- Alasdair Urquhart -- John Franco -- John Hooker -- Martin Anthony -- Robert H. Sloan, Bal�azs Sz�or�enyi, and Gy�orgy Tur�an -- Claude Carlet -- Claude Carlet -- Beate Bollig ... [et al.] -- Matthias Krause and Ingo Wegener -- Jehoshua Bruck -- Martin Anthony -- Martin Anthony -- J.-H. Roland Jiang and Tiziano Villa -- Tiziano Villa ... [et al.] -- Charles J. Colbourn.
"This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory. Beyond the diversity of the questions raised and investigated in different chapters, a remarkable feature of the collection is the common thread created by the fundamental language, concepts, models, and tools provided by Boolean theory. Many readers will be surprised to discover the countless links between seemingly remote topics discussed in various chapters of the book. This text will help them draw on such connections to further their understanding of their own scientific discipline and to explore new avenues for research"--Provided by publisher. "This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory. Beyond the diversity of the questions raised and investigated in different chapters, a remarkable feature of the collection is the common thread created by the fundamental language, concepts, models, and tools provided by Boolean theory"--
0521847524 9780521847520
2010017816
GBB076675 bnb
015584825 Uk
Algebra, Boolean.
Probabilities.
QA10.3 / .B658 2010
511.324
Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer. - Cambridge ; New York : Cambridge University Press, 2010. - xviii, 759 p. : ill. ; 25 cm. - Encyclopedia of mathematics and its applications ; [134] . - Encyclopedia of mathematics and its applications ; v. 134. .
Series numbering from jacket.
Includes bibliographical references.
Algebraic structures. Compositions and clones of Boolean functions / Decomposition of Boolean functions / Logic. Proof theory / Probabilistic analysis of satisfiability algorithms / Optimization methods in logic / Learning theory and cryptography. Probabilistic learning and Boolean functions / Learning Boolean functions with queries / Boolean functions for cryptography and error-correcting codes / Vectorial Boolean functions for cryptography / Graph representations and efficient computation models. Binary decision diagrams / Circuit complexity / Fourier transforms and threshold circuit complexity / Neural networks and Boolean functions / Decision lists and related classes of Boolean functions / Applications in engineering. Hardware equivalence and property verification / Synthesis of multi-level Boolean networks / Boolean aspects of network reliability / Reinhard P�oschel and Ivo Rosenberg -- Jan C. Bioch -- Alasdair Urquhart -- John Franco -- John Hooker -- Martin Anthony -- Robert H. Sloan, Bal�azs Sz�or�enyi, and Gy�orgy Tur�an -- Claude Carlet -- Claude Carlet -- Beate Bollig ... [et al.] -- Matthias Krause and Ingo Wegener -- Jehoshua Bruck -- Martin Anthony -- Martin Anthony -- J.-H. Roland Jiang and Tiziano Villa -- Tiziano Villa ... [et al.] -- Charles J. Colbourn.
"This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory. Beyond the diversity of the questions raised and investigated in different chapters, a remarkable feature of the collection is the common thread created by the fundamental language, concepts, models, and tools provided by Boolean theory. Many readers will be surprised to discover the countless links between seemingly remote topics discussed in various chapters of the book. This text will help them draw on such connections to further their understanding of their own scientific discipline and to explore new avenues for research"--Provided by publisher. "This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory. Beyond the diversity of the questions raised and investigated in different chapters, a remarkable feature of the collection is the common thread created by the fundamental language, concepts, models, and tools provided by Boolean theory"--
0521847524 9780521847520
2010017816
GBB076675 bnb
015584825 Uk
Algebra, Boolean.
Probabilities.
QA10.3 / .B658 2010
511.324