000			03723nam a22003858i 4500
001			CR9780511780448
003			UkCbUP
005			20200124160226.0
006			m|||||o||d||||||||
007			cr||||||||||||
008			100519s2010||||enk o ||1 0|eng|d
020			_a9780511780448 (ebook)
020			_z9780521847520 (hardback)
040			_aUkCbUP _beng _erda _cUkCbUP
050	0	0	_aQA10.3 _b.B658 2010
082	0	0	_a511.3/24 _222
245	0	0	_aBoolean models and methods in mathematics, computer science, and engineering / _cedited by Yves Crama, Peter L. Hammer.
246	3		_aBoolean Models & Methods in Mathematics, Computer Science, & Engineering
264		1	_aCambridge : _bCambridge University Press, _c2010.
300			_a1 online resource (xviii, 759 pages) : _bdigital, PDF file(s).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aEncyclopedia of mathematics and its applications ; _vvolume 134
500			_aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
505	0	0	_tAlgebraic structures. Compositions and clones of Boolean functions / _rReinhard Pöschel 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ázs Szörényi, and György Turán -- _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			_aThis 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.
650		0	_aAlgebra, Boolean.
650		0	_aProbabilities.
700	1		_aCrama, Yves, _d1958- _eeditor.
700	1		_aHammer, P. L., _d1936-2006, _eeditor.
776	0	8	_iPrint version: _z9780521847520
830		0	_aEncyclopedia of mathematics and its applications ; _vv. 134.
856	4	0	_uhttps://doi.org/10.1017/CBO9780511780448
999			_c517200 _d517198