Boolean Models and Methods in Mathematics, Computer Science, and Engineering

This collection of papers proposes in-depth presentations 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 certainly be surprised to discover countless links between seemingly remote topics discussed in various chapters of the book. They will hopefully be able to draw on such connections to further their understanding of their own scientific discipline and to explore new avenues for research.