Boolean models and methods in mathematics, computer science, and engineering /

Boolean models and methods in mathematics, computer science, and engineering /

Saved in:
Bibliographic Details
Imprint:Cambridge ; New York : Cambridge University Press, 2010.
Description:1 online resource (xviii, 759 pages) : illustrations
Language:English
Series:Encyclopedia of mathematics and its applications ; [134]
Encyclopedia of mathematics and its applications ; v. 134.
Subject:
Algebra, Boolean.
Probabilities.
Algebra, Boolean.
Probabilities.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11831596
Hidden Bibliographic Details
Other authors / contributors:Crama, Yves, 1958-
Hammer, P. L., 1936-2006.
ISBN:9781107266940
1107266947
9780511780448
0511780443
9781107270022
1107270022
9781107263383
1107263387
1139887033
9781139887038
1107266637
9781107266636
1107264472
9781107264472
0521847524
9780521847520
Notes:Series numbering from jacket.
Includes bibliographical references.
English.
Print version record.
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"--
Other form:Print version: Boolean models and methods in mathematics, computer science, and engineering. Cambridge ; New York : Cambridge University Press, 2010 0521847524
Table of 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 [and others]
  • 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 [and others]
  • Boolean aspects of network reliability / Charles J. Colbourn.

Similar Items