01644nam a2200265 a 4500001001400000003000700014005001700021008004100038020001800079020001500097040000800112245012200120260006300242300003600305490006200341500003300403504004000436520067400476650002101150650001801171700001601189700001801205830006301223856009201286vtls000060480KUKTEM20251125093316.0120528t2010 enka f b 000 0 eng d a9780521847520 a0521847524 aUMP00aBoolean models and methods in mathematics, computer science, and engineering /cedited by Yves Crama, Peter L. Hammer aCambridge ;aNew York :bCambridge University Press,c2010 axviii, 759 p. :bill. ;c25 cm.1 aEncyclopedia of mathematics and its applications ;v[134] aSeries numbering from jacket aIncludes bibliographical references a"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"-- Provided by publisher 0aAlgebra, Boolean 0aProbabilities1 aCrama, Yves1 aHammer, P. L. 0aEncyclopedia of mathematics and its applications ;vv. 134413Table of contents onlyuhttp://www.loc.gov/catdir/enhancements/fy1009/2010017816-t.html