布尔代数-张艳课件.pptVIP

数统学院 2011212193 张艳 * 布尔代数 布尔代数 所谓一个布尔代数，是指一个有序的四元组〈B，∨，∧，*〉，其中B是一个非空的集合，∨与∧是定义在B上的两个二元运算，*是定义在B上的一个一元运算，并且它们满足一定的条件。 发现者和发现过程 英国数学家G.布尔 德·摩根 英国数学家G.布尔为了研究思维规律（逻辑学、数理逻辑)于1847和1854年提出的数学模型。此后R.戴德金把它作为一种特殊的格由于缺乏物理背景，所以研究缓慢，到了20世纪30～40年代才有了新的进展，大约在 1935年， M.H.斯通首先指出布尔代数与环之间有明确的联系，他还得到了现在所谓的斯通表示定理：任意一个布尔代数一定同构于某个集上的一个集域；任意一个布尔代数也一定同构于某个拓扑空间的闭开代数等，这使布尔代数在理论上有了一定的发展。布尔代数在代数学（代数结构）、逻辑演算、集合论、拓扑空间理论、测度论、概率论、泛函分析等数学分支中均有应用；1967年后，在数理逻辑的分支之一的公理化集合论以及模型论的理论研究中，也起着一定的作用。近几十年来，布尔代数在自动化技术、电子计算机的逻辑设计等工程技术领域中有重要的应用。 摩根在19世纪前半叶卷入了一场著名的争论，布尔知道摩根是对的，于是在1848年出版了一本薄薄的小册子来为朋友辩护。这本书是