Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer.

Format:

Book

Contributor:

Crama, Yves, 1958-

Hammer, P. L., 1936-2006.

Series:

Encyclopedia of mathematics and its applications ; v. 134.

Encyclopedia of mathematics and its applications ; [134]

Language:

English

Subjects (All):

Algebra, Boolean.

Probabilities.

Physical Description:

xviii, 759 pages : illustrations ; 25 cm.

Place of Publication:

Cambridge ; New York : Cambridge University Press, 2010.

Summary:

"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"-- Provided by publisher.

Contents:

Algebraic structures. Compositions and clones of Boolean functions / Reinhard Pöschel and Ivo Rosenberg

Decomposition of Boolean functions / Jan C. Bioch

Logic. Proof theory / Alasdair Urquhart

Probabilistic analysis of satisfiability algorithms / John Franco

Optimization methods in logic / John Hooker

Learning theory and cryptography. Probabilistic learning and Boolean functions / Martin Anthony

Learning Boolean functions with queries / Robert H. Sloan, Balázs Szörényi, and György Turán

Boolean functions for cryptography and error-correcting codes / Claude Carlet

Vectorial Boolean functions for cryptography / Claude Carlet

Graph representations and efficient computation models. Binary decision diagrams / Beate Bollig ... [et al.]

Circuit complexity / Matthias Krause and Ingo Wegener

Fourier transforms and threshold circuit complexity / Jehoshua Bruck

Neural networks and Boolean functions / Martin Anthony

Decision lists and related classes of Boolean functions / Martin Anthony

Applications in engineering. Hardware equivalence and property verification / J.-H. Roland Jiang and Tiziano Villa

Synthesis of multi-level Boolean networks / Tiziano Villa ... [et al.]

Boolean aspects of network reliability / Charles J. Colbourn.

Notes:

Series numbering from jacket.

Includes bibliographical references.

ISBN:

0521847524

9780521847520

OCLC:

607985575

Online:

Cover image

Publisher description

Contributor biographical information