逻辑函数和方程：计算机科学的二进制模型

Logic Functions and Equations ：Binary Models for Computer Science

逻辑学是数学甚至是整个科学的基础领域，这种说法可以上溯到古希腊的数学家和哲学家。逻辑学的现代发展与GeorgeBoole（1815—1864）这个名字是紧密联系在一起的。虽然几位较早的科学家也对此做出了贡献，但是是Boole最终在19世纪创立了命题逻辑。令人惊讶的是，这个非常冷僻的数学领域一夜之间竟成了计算机科学和工程领域最为重要的组成部分。这个发展开始于上个世纪30年代。