离散数学 课件 09格与布尔代数.pptx

离散数学

主讲人：

第九章：格与布尔代数

格与布尔代数的历史格是布尔代数的抽象，其命名来源于点阵结构的几何格

格与布尔代数的历史格与布尔代数的发展次序与教学次序是相反的，先有布尔代数再有格1847-1854布尔提出布尔代数(逻辑的代数化)。1860-1890德摩根、施罗德等完善布尔代数。1890-1900戴德金、施罗德隐含研究格结构，但未系统化。1930s伯克霍夫、奥利公理化格论;布尔代数成为格的特例。1936斯通表示定理(布尔代数-拓扑空间)。1940s--格论与布尔代数在计算机科学、逻辑学、量子力学中广泛应用。

格与布尔代数的原因问题在群、环、域之后，还有哪些重要的代数系统如何实现逻辑的