000			04503nam a22003617a 4500
001			sulbI001822
003			BD-SySUS
005			20160629122733.0
008			160629s2010 enka b 000 0 eng d
020			_a0521847524
020			_a9780521847520
040			_aDLC _cDLC _dBTCTA _dYDXCP _dYUS _dC#P _dIOG _dBWX _dCDX _dYHM _dIXA _dUKM _dCOD _dDLC _dBD-SySUS
082	0	0	_a511.324 _222 _bBOO
245	0	0	_aBoolean models and methods in mathematics, computer science, and engineering / _cedited by Yves Crama, Peter L. Hammer.
260			_aCambridge ; _aNew York : _bCambridge University Press, _c2010.
300			_axviii, 759 p. : _bill. ; _c25 cm.
490	1		_aEncyclopedia of mathematics and its applications ; _v[134]
500			_aSeries numbering from jacket.
504			_aIncludes bibliographical references.
505	0	0	_tAlgebraic structures. Compositions and clones of Boolean functions / _rReinhard P�oschel and Ivo Rosenberg -- _tDecomposition of Boolean functions / _rJan C. Bioch -- _tLogic. Proof theory / _rAlasdair Urquhart -- _tProbabilistic analysis of satisfiability algorithms / _rJohn Franco -- _tOptimization methods in logic / _rJohn Hooker -- _tLearning theory and cryptography. Probabilistic learning and Boolean functions / _rMartin Anthony -- _tLearning Boolean functions with queries / _rRobert H. Sloan, Bal�azs Sz�or�enyi, and Gy�orgy Tur�an -- _tBoolean functions for cryptography and error-correcting codes / _rClaude Carlet -- _tVectorial Boolean functions for cryptography / _rClaude Carlet -- _tGraph representations and efficient computation models. Binary decision diagrams / _rBeate Bollig ... [et al.] -- _tCircuit complexity / _rMatthias Krause and Ingo Wegener -- _tFourier transforms and threshold circuit complexity / _rJehoshua Bruck -- _tNeural networks and Boolean functions / _rMartin Anthony -- _tDecision lists and related classes of Boolean functions / _rMartin Anthony -- _tApplications in engineering. Hardware equivalence and property verification / _rJ.-H. Roland Jiang and Tiziano Villa -- _tSynthesis of multi-level Boolean networks / _rTiziano Villa ... [et al.] -- _tBoolean aspects of network reliability / _rCharles J. Colbourn.
520			_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. 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.
520			_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"--
650		0	_aAlgebra, Boolean. _923516
650		0	_aProbabilities. _911074
700	1		_aCrama, Yves, _d1958- _928266
700	1		_aHammer, P. L., _d1936-2006. _928267
830		0	_aEncyclopedia of mathematics and its applications ; _vv. 134. _928268
856	4	2	_3Cover image _uhttp://assets.cambridge.org/97805218/47520/cover/9780521847520.jpg
856	4	1	_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy1009/2010017816-t.html
856	4	2	_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy1009/2010017816-d.html
856	4	2	_3Contributor biographical information _uhttp://www.loc.gov/catdir/enhancements/fy1009/2010017816-b.html
942			_2ddc _cBK
999			_c62178 _d62178