Boolean Models and Methods in Mathematics, Computer Science, and Engineering
Boolean Models and Methods in Mathematics, Computer Science, and Engineering
复制标题
DOI：
10.1017/cbo9780511780448.003
复制
发表时间：
2010-06
期刊：
影响因子：
--
通讯作者：
Y. Crama;Peter L. Hammer
中科院分区：
文献类型：
--
作者：
Y. Crama;Peter L. Hammer
本论文集介绍了一系列与布尔函数和表达式相关的高级主题的深入研究。这些章节是由一些在各自领域最杰出的专家撰写的，涵盖的主题从代数和命题逻辑到学习理论，密码学，计算复杂性，电气工程和可靠性理论。除了在不同章节中提出和研究的问题的多样性之外，该集合的一个显著特征是由布尔理论提供的基本语言、概念、模型和工具创建的共同线索。许多读者会惊讶地发现，在书的各个章节中讨论的看似遥远的主题之间存在着无数的联系。本文将帮助他们借鉴这些联系，以进一步了解他们自己的科学学科，并探索新的研究途径。
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.