目录
81 关系: 受限玻尔兹曼机，吸收律，奎因－麦克拉斯基算法，子集，完全布尔代数，对称差，导出代数，對合，两元素布尔代数，中国图书馆分类法 (O1)，布尔，布尔三段论，布尔代数主题列表，布尔环，布尔素理想定理，布尔逻辑，布林代數恆等式，三值逻辑，一元布尔代数，并集，乔治·布尔，序拓撲，代数逻辑，伽罗瓦连接，作用代数，圆柱代数，分配格，命题变量，命题逻辑，冪等，冪集，内部代数，全集，关系代数 (抽象代数)，克莱尼代数，剩余布尔代数，剩余格，理想 (序理论)，緩衝閘，真值，电子学，电子工程，电路，直觉主义逻辑，相对有补格，补运算，规范形式 (布尔代数)，計算機硬體歷史，计算机代数系统列表，谢费尔竖线，... 扩展索引 (31 更多) »
受限玻尔兹曼机
受限玻尔兹曼机（restricted Boltzmann machine, RBM）是一种可通过输入数据集学习概率分布的随机生成神经网络。RBM最初由发明者于1986年命名为簧风琴（Harmonium），但直到杰弗里·辛顿及其合作者在2000年代中叶发明快速学习算法后，受限玻兹曼机才变得知名。受限玻兹曼机在降维、分类、协同过滤、特征学习和主题建模中得到了应用。根据任务的不同，受限玻兹曼机可以使用监督学习或无监督学习的方法进行训练。 正如名字所提示的那样，受限玻兹曼机是一种玻兹曼机的变体，但限定模型必须为二分图。模型中包含对应输入参数的输入（可见）单元和对应训练结果的隐单元，图中的每条边必须连接一个可见单元和一个隐单元。（与此相对，“无限制”玻兹曼机包含隐单元间的边，使之成为递归神经网络。）这一限定使得相比一般玻兹曼机更高效的训练算法成为可能，特别是基于梯度的对比分歧（contrastive divergence）算法Miguel Á.
查看 布尔代数和受限玻尔兹曼机
吸收律
在抽象代数中，吸收律是连接一对二元运算的恒等式。 任何两个二元运算比如 $ 和 %，服从吸收律如果: 运算 $ 和 % 被称为对偶对。 设有某个集合闭合在两个二元运算下。如果这些运算是交换律、结合律的，并满足吸收律，结果的抽象代数就是格，在这种情况下这两个运算有时叫做交和并。因为交换律和结合律经常是其他代数结构的性质，吸收律是格的定义性质。由于布尔代数和 Heyting代数是格，它们也服从吸收律。 因为经典逻辑是布尔代数的模型，直觉逻辑是 Heyting代数的模型，吸收律对分别指示逻辑或和逻辑与的运算 \vee 和 \wedge 成立，因此.
查看 布尔代数和吸收律
奎因－麦克拉斯基算法
奎因－麦克拉斯基算法（Quine-McCluskey算法）是最小化布尔函数的一种方法。它在功能上等同于卡诺图，但是它具有文字表格的形式，因此它更适合用于电子设计自动化算法的实现，并且它还给出了检查布尔函数是否达到了最小化形式的确定性方法。 方法涉及两步：.
子集
子集，為某個集合中一部分的集合，故亦稱部分集合。 若A和B为集合，且A的所有元素都是B的元素，则有：.
查看 布尔代数和子集
完全布尔代数
在数学中，完全布尔代数是所有子集都有上确界的布尔代数。完全布尔代数在力迫理论中有重要作用。任何布尔代数A都有一A是其子代数的最小的完全布尔代数。作为偏序集合，这种 A 的补全叫做戴德金补全。.
查看 布尔代数和完全布尔代数
对称差
数学上，两个集合的对称差是只属于其中一个集合，而不属于另一个集合的元素组成的集合。 集合论中的这个运算相当于布尔逻辑中的异或运算。 集合A和B的对称差通常表示为A\triangle B，对称差的符号在有些图论书籍中也使用\oplus符号来表示。例如：集合\和\的对称差为\。所有学生的集合和所有女性的集合的对称差为所有男性学生和所有女性学生组成的集合。.
查看 布尔代数和对称差
导出代数
在抽象代数中，导出代数是如下标识(signature)的代数结构 这里的 是布尔代数而 D 是一元算子导出算子，它满足如下恒等式.
查看 布尔代数和导出代数
對合
在数学中，对合（involution）或对合函数，是逆函数等于自身的函数，就是说.
查看 布尔代数和對合
两元素布尔代数
两元素布尔代数是最简单的布尔代数，它只有两个元素，习惯指名为 1 和 0。保罗·哈尔莫斯给这个起名为 2，被一些文献和本文采用。 任何布尔代数都关联着叫做“全集”或“载体”的一个偏序集合 B，使得这个布尔代数的运算是从 Bn 到 B 的映射。这个载体是由于有显著的成员 0 和 1 而是有界的。2 简单的就是其载体同一于它的界的集合的布尔代数，即 B.
查看 布尔代数和两元素布尔代数
中国图书馆分类法 (O1)
*O1 数学 ----.
布尔
布尔可以指：.
查看 布尔代数和布尔
布尔三段论
布尔逻辑原指十九世纪英国数学家乔治·布尔发明的直言三段论逻辑系统，他尝试结合"空集"，就是说不存在的实体的类，比如圆四边形，而不求助于不可确定的真值。 在布尔逻辑中，全称陈述“所有 S 都是 P”和“没有 S 是 P”(在亚里士多德方案中是不同真的)在假定 S 的集合是空集的时候是可共存的。“所有 S 都是 P”被解释为意味着“没有东西既是 S 又是非 P”；“没有 S 是 P”就是说“没有东西既是 S 又是 P”。例如，因为没有东西是圆四边形，所以没有东西是圆四边形并且是紫色的，和没有东西是圆四边形并且是非紫色的二者都是真的。所以，“所有圆四边形都是紫色的”和“没有圆四边形是紫色的”，这两个全称陈述都是真的。 类似的，在存在陈述“有些 S 是 P”和“有些 S 不是 P”之间的不同假的联系也被消解了。前者被解释为“有些东西既 S 又是 P”，后者被解释为“有些东西既是 S 又是非 P”，在 S 不存在的时候这二者明显是假的。 所以，在全称和存在陈述之间的蕴涵联系也不再成立，因为对于一个不存在的 S，为真的“所有 S 都是 P”，不蕴涵为假的“有些 S 是 P”。亚里士多德的对立四边形中，只有矛盾联系保持有效。.
查看 布尔代数和布尔三段论
布尔代数主题列表
* 集合代数.
布尔环
在数学中，布尔环R是对于所有R中的x有x^2.
查看 布尔代数和布尔环
布尔素理想定理
素理想定理（prime ideal theorem）即保证在给定的抽象代数中特定类型之子集的存在性之數學定理。常见的例子就是布尔素理想定理（Boolean prime ideal theorem），它声称在布尔代数中的理想可以被扩展成素理想。这个陈述对于在集合上的滤子的变体叫做叫做超滤子引理。通过考虑不同的带有适当的理想概念的数学结构可获得其他定理，例如环和（环论的）素理想，和分配格和（序理论的）的极大理想。本文关注序理论的素理想定理。 尽管各种素理想定理可能看起来简单且直觉，它们一般不能从策梅洛-弗蘭克爾集合論（ZF）的公理推导出来。反而某些陈述等价于选择公理（AC），而其他的如布尔素理想定理，体现了严格弱于AC的性质。由于这个在ZF和ZF+AC (ZFC)之间的中介状态，布尔素理想定理经常被接受为集合论的公理。经常用缩写BPI（对布尔代数）或PIT提及这个额外公理。.
查看 布尔代数和布尔素理想定理
布尔逻辑
布尔逻辑（Boolean algebra，台湾译--，中國大陸譯--）得名于乔治·布尔，他是爱尔兰科克的皇后学院的英国数学家，他在十九世纪中叶首次定义了逻辑的代数系统。现在，布尔逻辑在电子学、计算机硬件和软件中有很多应用。在1937年，克劳德·艾尔伍德·香农展示了布尔逻辑如何在电子学中使用。 使用集合代数作为介绍布尔逻辑的一种方式。还使用文氏图来展示各种布尔逻辑陈述所描述的集合联系。.
查看 布尔代数和布尔逻辑
布林代數恆等式
在數學抽象代数布尔代数中，有許多布林代數恆等式。.
查看 布尔代数和布林代數恆等式
三值逻辑
在邏輯學中的三值邏輯（three-valued，也稱為三元（ternary），或三价（trivalent）邏輯，有時縮寫為3VL）是幾個多值逻辑系統中的其中之一。有三種狀態來表示真、假和一個表示不確定的第三值；这相对於基礎的二元邏輯（比如布尔逻辑，它只提供真假兩種狀態）。概念形式和基本思想最初由 JanŁukasiewicz和 C.
查看 布尔代数和三值逻辑
一元布尔代数
在抽象代数中，一元布尔代数是带有如下标识（signature）的代数结构 这里的 是布尔代数。 前缀一元算子 ∃ 指示存在量词，它满足恒等式：.
查看 布尔代数和一元布尔代数
并集
在集合论和数学的其他分支中，一组集合的并集（台湾叫做聯--集、港澳叫做--、大陆叫做--）是这些集合的所有元素构成的集合，而不包含其他元素。.
查看 布尔代数和并集
乔治·布尔
喬治·布爾（George Boole，，英語發音 ），英格兰数学家和哲学家，数理逻辑学先驱。.
查看 布尔代数和乔治·布尔
序拓撲
数学上，序拓撲是可以定義在任意全序集上的拓扑结构。 此為將实数的拓撲結構推廣到任意全序集上所得。 具有此種拓撲結構的拓撲空間稱為序空間。 如果 X 為全序集，則 X 的序拓扑由無界開區間 組成的準基生成，其中 a,b 取遍 X 的所有元素。這等價於，開區间 連同上述無界開區間組成序拓撲的一組基，換言之， X 內的開集可寫成該些開區間和無界開區間的（允許無窮）並。 若可對一个拓扑空间 X 的元素定義一個全序，使得該全序給出的序拓撲就是 X 自身的拓撲，則称 X 为可序化的 。 X 上的序拓撲使 X 成為一個完全正規的豪斯多夫空间。 R, Q, Z, N 上的標準拓撲均為为序拓扑。.
查看 布尔代数和序拓撲
代数逻辑
在數理邏輯中，代數邏輯使用抽象代數方法形式化邏輯。.
查看 布尔代数和代数逻辑
伽罗瓦连接
在数学中，特别是在序理论中，伽罗瓦连接是在两个偏序集（"poset"）之间的特殊的对应。伽罗瓦连接一般化了伽罗瓦理论中在子群和子域之间的对应。它们用于各种数学理论和编程理论中。 伽罗瓦连接要弱于在涉及到的两个偏序集之间的同构，但是所有的伽罗瓦连接都引发特定在两个子偏序集之间的同构。.
查看 布尔代数和伽罗瓦连接
作用代数
在代数逻辑中，作用代数是既是剩余半格又是克莱尼代数的代数结构。它向剩余半格增加了克莱尼代数的星号或自反传递闭包运算，或者说向克莱尼代数增加了剩余半格的左和右剩余或蕴涵运算。不像程序的动态逻辑和其他模态逻辑，对于它们程序和命题形成了两个不同的类别，作用代数合并了二者为一个单一类别。它可被认为是变异的直觉逻辑，带有星号并带有非交换性的合取，它的单位元不需要是顶元素。不像克莱尼代数，作用代数形成了一个簇，它进一步的是可有限公理化的，至关重要的公理是 a·(a → a)* ≤ a。不像克莱尼代数的等式理论的模型(正则表达式等式)，作用代数的星号运算是在所有等式的模型中自反传递闭包。.
查看 布尔代数和作用代数
圆柱代数
阿尔弗雷德·塔斯基发明的圆柱代数概念自然的出现于一阶逻辑的代数化中。可比较于布尔代数对命题逻辑所扮演的角色。实际上，圆柱代数是装备了建模量化的额外圆柱化运算的布尔代数。.
查看 布尔代数和圆柱代数
分配格
设(L, \vee, \wedge)是一个格，若对于任意的a, b, c \in L有 则称L为分配格。 上述两个等式互为对偶式，根据格的对偶原理，在证明一个格是分配格时只需证明其中任意一个等式即可。 设(L, \vee, \wedge)是一个格，L为分配格当且仅当对于任意的a, b, c \in L，若a \vee b.
查看 布尔代数和分配格
命题变量
在数理逻辑中，命题变量(也叫做句子变量)是要么为真要么为假的变量。命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。 在逻辑中的公式典型的递归的建造自一些命题变量，一些逻辑连结词，和一些逻辑量词。命题变量是命题逻辑的原子公式。例如，在一个给定的命题逻辑中，我们可以按如下方式定义公式.
查看 布尔代数和命题变量
命题逻辑
在邏輯和數學裡，命題演算（或稱句子演算）是一個形式系統，有著可以由以邏輯運算符結合原子命題來構成代表「命題」的公式，以及允許某些公式建構成「定理」的一套形式「證明規則」。.
查看 布尔代数和命题逻辑
冪等
在數學裡，冪等有兩種主要的定義。.
查看 布尔代数和冪等
冪集
数学上，给定集合S，其幂集\mathcal(S)（或作2^S）是以S的全部子集为元素的集合。以符号表示即为 在公理集合论（例如ZFC集合论）中，幂集公理假定了任何集合的幂集均存在。 \mathcal(S)的任何子集F称为S上的集族.
查看 布尔代数和冪集
内部代数
在抽象代数中，内部代数是采用了集合的拓扑内部概念的特定类型的代数结构。内部代数之对于拓扑和模态逻辑 S4 如同布尔代数之对于集合论和普通命题逻辑。内部代数形成了模態代數的一个簇。.
查看 布尔代数和内部代数
全集
数学上，特别是在集合论和数学基础的应用中，全类（若是集合，则为全集）大约是这样一个类，它（在某种程度上）包含了所有的研究对象和集合。.
查看 布尔代数和全集
关系代数 (抽象代数)
在数学中，关系代数是支持叫做逆反(converse)的对合一元运算的剩余布尔代数。激发关系代数的例子是在集合 X 上的所有二元关系的代数 2^，带有 R·S 被解释为平常的二元关系复合。关系代数的早期形式形成于十九世纪德·摩根、皮尔士和 Ernst Schröder 的工作。它今日的纯等式形式是阿尔弗雷德·塔斯基和他的学生在 1940 年代开发的。.
克莱尼代数
克莱尼代数（名稱源自于美国数学家逻辑学家 斯蒂芬·科尔·克莱尼）在数学中是下列两个事物之一.
查看 布尔代数和克莱尼代数
剩余布尔代数
在数学中，剩余布尔代数是其格结构是布尔代数的剩余格。例子包括幺半群乘法选取为合取的布尔代数，在串接运算之下的给定字母表 Σ 的所有形式语言的集合，在关系复合运算之下的给定集合 X 上所有二元关系的集合，和更一般的在关系复合之下的任何等价类的幂集。最初的应用是作为关系代数中二元关系例子的有限公理化推广，但是存在不是关系代数的有趣的剩余布尔代数的例子，比如语言例子。.
查看 布尔代数和剩余布尔代数
剩余格
在抽象代数中，剩余格是既为格又为幺半群的代数结构，使得幺半群乘法的每个自变量都是关于这个格次序的伽罗瓦连接的一极。它的一般概念是Ward和Dilworth在1939年介入的。某些例子先于一般概念而存在，包括布尔代数、Heyting代数、剩余布尔代数、关系代数和MV-代数。剩余半格省略了交运算∧，比如克莱尼代数和作用代数。.
查看 布尔代数和剩余格
理想 (序理论)
在数学分支序理论中，理想是偏序集合的一個特殊子集。尽管这个术语最初演化自抽象代数中环理想概念，它后来被一般化为一个不同的概念。理想对于序理论和格理论中的很多构造是非常重要的。.
緩衝閘
緩衝閘（Buffer gate）又稱--、同閘、是閘（YES gate）、驅動器或放大器，是一種會輸出一個與輸入相同邏輯訊號的邏輯閘，是數位邏輯中實現緩衝或放大用的邏輯閘，也可使當成數位邏輯中實現邏輯命題的邏輯閘，功能見右側真值表。 雖然這似乎是一個毫無意義的事情，它也有實際的應用。例如 一個微弱的信號源可以透過緩衝閘而增強訊號。緩衝閘前後的邏輯電平是不變的，因此有時也作為數位中繼器。 緩衝閘與直接導通不同，緩衝閘與其他邏輯閘一樣都有延遲，因此緩衝閘有時被做為數位電路的訊號延遲元件。 緩衝閘是一種單一輸入邏輯閘，另外一種單一輸入邏輯閘是反相器，功能正好相反。.
查看 布尔代数和緩衝閘
真值
在逻辑中，真值（truth value），又稱逻辑值（logical value），是指示一个陈述在什么程度上是真的。在計算機編程上多稱做布林值、布爾值。 在经典逻辑中，唯一可能的真值是真和假。但在其他逻辑中其他真值也是可能的：模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。 在代数上说，集合形成了简单的布尔代数。可以把其他布尔代数用作多值逻辑中的真值集合，但直觉主义逻辑把布尔代数推广为海廷代数。 在topos理论中，topos的主客对象分类器接管了真值集合的位置。.
查看 布尔代数和真值
电子学
电子学（Electronics），作用于包括有源电子元器件（例如真空管、二极管、三极管、集成电路）和与之相关的无源器件电路的互连技术。有源器件的非线性特性和控制电子流动的能力能够放大微弱信号，并且电子学广泛应用于信息处理、通信和信号处理。电子器件的开关特性使处理数字信号成为可能。电路板、电子封装等互连技术和其他各种形式的通信基础元件完善了电路功能，并使连接在一起的元件成为一个正常工作的系统。 电子学有别于電機（Electrical）和機電（Electro-mechanical）科学与技术，电气和电机科学与技术是处理电能的产生、分布、开关、储存和转换，通过电线、电动机、发电机、电池、开关、中继器、变压器、电阻和其他无源器件从其他形式的能量转换为电能。 1897年，約瑟夫·湯姆森發現電子的存在，这是電子學的起源。早期的電子學使用真空管來控制電子的流動，但其存在成本高及體積大等缺點。现如今，大多數电子设备都使用半导体器件来控制电子。真空管至今仍有一些特殊应用，例如、阴极射线管、专业音频设备和像多腔磁控管等微波设备。 半导体器件的研究和相关技术是固体物理学的一个分支，但是电子电路的设计和搭建来解决实际问题却是电子工程的范围。本文专注于电子学的工程方面。.
查看 布尔代数和电子学
电子工程
电子工程學（electronic engineering），是利用电子活动和效应的科学知识来设计、开发以及测试设备、系统或装备的一门工程学科。电子工程表示一个广泛的工程领域，覆盖了很多子领域，包括仪器工程、通信、半导体电路设计等等。 电子工程的应用形式涵盖了电动设备以及运用了控制技术、测量技术、调整技术、计算机技术，直至信息技术的各种电动开关。.
查看 布尔代数和电子工程
电路
电路（Electrical circuit）或稱电子迴路，是由电气设备和--, 按一定方式連接起来，为电荷流通提供了路径的总体，也叫电子线路或稱電氣迴路，簡稱网络或迴路。如電源、电阻、电容、电感、二极管、三极管、電晶體、集成電路和电键等，构成的网络、硬體。负电荷可以在其中运动。.
查看 布尔代数和电路
直觉主义逻辑
觉主义逻辑或构造性逻辑是最初由阿蘭德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。.
查看 布尔代数和直觉主义逻辑
相对有补格
在数学中，相对有补格是一个格 L，在对于所有在 L 中有着 a ≤ b ≤ c 的 a, b, c，有在 L 中的某个 x 使得 x ∨ b.
查看 布尔代数和相对有补格
补运算
设L是带有最大元素1和最小元素0的有界格。L的两个元素x和y是互补（相互为补元）的，当且仅当： 在这种情况下，它们被指示为¬x.
查看 布尔代数和补运算
规范形式 (布尔代数)
布尔代数中，由标准逻辑运算符组成的布尔函数可以按利用了对偶性“极小项”和“极大项”的概念的规范形式来表达。.
計算機硬體歷史
計算機硬體是人類處理運算與儲存資料的重要元件，在能有效輔助數值運算之前，計算機硬體就已經具有不可或缺的重要性。最早，人類利用類似符木的工具輔助記錄，像是腓尼基人使用黏土記錄牲口或穀物數量，然後藏於容器妥善保存，米諾斯文明的出土文物也與此相似，當時的使用者多為商人、會計師及政府官員。 輔助記數的工具之後逐漸發展成兼具記錄與計算功能，諸如算盤、計算尺、模拟计算机和近代的數位電腦。即使在科技文明的現代，老練的算盤高手在基本算數上，有時解題速度會比操作電子計算機的使用者來得快──但是在複雜的數學題目上，再怎麼老練的人腦還是趕不上電子計算機的運算速度。 此條目包含了計算機硬體的主要發展軌跡，試圖描述其來龍去脈。關於事件細節的時間表，請見計算機時間表。.
查看 布尔代数和計算機硬體歷史
计算机代数系统列表
以下表格给出各计算机代数系统的比较。.
谢费尔竖线
谢费尔竖线（Sheffer stroke），得名于，写为“| ”（見豎線）或“↑”，指示等价于合取运算的否定的逻辑运算。普通语言表达为“不全是即真”（Not AND，因此也常縮寫為NAND），也就是说，A | B假，当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做「NAND」的等价运算。.
查看 布尔代数和谢费尔竖线
超滤子
在数学领域集合论中，在集合 X 上的超滤子是作为极大滤子的 X 子集的搜集。超滤子可以被认为是有限可加性测度。那么 X 的所有子集要么被认为是“几乎所有”（有测度 1）要么被认为是“几乎没有”（有测度 0）。如果 A 是 X 的子集，则要么 A 要么 X\A 是超滤子的元素（这里 X\A 是 A 在 X 中的相对补集；就是说，X 的不在 A 中的所有元素的集合）。这个概念可以被推广到布尔代数甚至是一般偏序，并在集合论、模型论和拓扑学中有很多应用。.
查看 布尔代数和超滤子
范畴的等价
在数学的一个抽象分支范畴论中，范畴的等价（equivalence of categories）是两个范畴间的一个关系，在这种关系之下的范畴是“本质上一样的”。从数学的许多地方都有范畴等价的例子。建立一个等价涉及展示所考虑的数学结构间很强的相似性。在许多情形，这些结构表面或直觉上看并无关联，这样就使这种概念特别有用：它提供了在不同数学结构之间翻译的可能性，本质一语是指在翻译中保持的定理。 如果一个范畴等价于另一个范畴的反范畴，则我们说“范畴的对偶性”，以及这两个范畴对偶等价。 范畴的等价由所涉范畴的一个函子组成，这个函子要求有一个“逆”函子。但与通常代数语境的同构不同，这个函子与它的逆不必是恒等映射，二只要每个对象自然同构与在此符合函子下的像。从而我们可以说这个函子是差一个同构下的逆。这实际上是范畴的同构的概念，其中要求逆函子的严格性质，但这比“等价”概念用得要少。.
查看 布尔代数和范畴的等价
蘊含閘
蘊含閘（Implies gate，簡稱IMPLY gate）是數位邏輯電路中的一種邏輯閘，主要用來完成布林代數中實質條件、實質蘊涵或蘊涵算子。 蘊含閘可由CMOS或其他電晶體設計，利用如下公式： 另外蘊含閘也可以由憶阻器組成，且只需要由兩個憶阻器即可組成，由於布林代數的特性可使其他布林函數化成由邏輯蘊含表示，因此利用蘊含閘與憶阻器來設計電晶體可以大幅縮小體積。.
查看 布尔代数和蘊含閘
阿尔弗雷德·塔斯基
阿尔弗雷德·塔斯基（Alfred Tarski，），美国籍波兰裔犹太逻辑学家和数学家。塔斯基1939年移居美国，一直任教于加利福尼亚大学伯克利分校。华沙学派成员，广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域，专精于模型论、元数学、代数逻辑。 逻辑学家们将塔斯基的成就与亚里士多德、弗雷格、伯特兰·罗素和哥德尔相提并论。他的传记作者安妮塔和所罗门·费夫曼写道：“塔斯基和同时代的哥德尔一起改变了逻辑学在20世纪的面目，尤其是通过他对真值概念和模型论的研究。”Feferman, A.
阿达马变换
阿达马变换（Hadamard transform），或称沃爾什-阿達瑪轉換，是一种廣義傅立葉變換（Fourier transforms），作为变换编码的一种在影片编码当中使用有很久的历史。在近来的影片编码标准中，阿达马变换多被用来计算SATD(一种影片残差信号大小的衡量)。 在數字信號處理大型積體電路演算法的領域中，阿达马变换是一種簡單且重要的演算法之一，主要能針對頻譜做快速的分析。.
查看 布尔代数和阿达马变换
闭开集
在拓扑学中，在拓扑空间中的闭开集（Clopen set）是既是开集又是闭集的集合。.
查看 布尔代数和闭开集
自由布尔代数
在数学分支抽象代数中，自由布尔代数是布尔代数 ，使得集合 B (叫做“载体”)有其中元素叫做生成元的子集。生成元满足下列性质.
查看 布尔代数和自由布尔代数
集合域
在数学中，集合域是有序对，其中 X 是集合，F 是 X 上的代数。.
查看 布尔代数和集合域
集合代数
集合代数发展并描述了集合的基本性质和规律，集合论运算，如并集、交集、补集，以及集合的关系，如等于、包含。这门学科系统研究如何来表达和进行上述的运算和关系的操作。.
查看 布尔代数和集合代数
通灵芯片
《通灵芯片：计算机运作的简单原理》（The Pattern on the Stone: The Simple Ideas that Make Computers Work，ISBN 0465025951）是由丹尼尔·希利斯著作的一部科普读物，英文版由Basic Books在1998年出版，中文版则由上海科学技术出版社出版，崔良沂译。该书从一个外行人的角度解释了计算机科学中的一些基本概念。 该书介绍了一些有关布尔代数的主题，如信息论、并行计算、加密、算法、启发式计算、通用计算，和一些的新兴的技术，如量子计算和自学习系统。.
查看 布尔代数和通灵芯片
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
查看 布尔代数和逻辑
逻辑符号表
在逻辑中，经常使用一组符号来表达逻辑结构。因为逻辑学家非常熟悉这些符号，他们在使用的时候没有解释它们。所以，给学逻辑的人的下列表格，列出了最常用的符号、它们的名字、读法和有关的数学领域。此外，第三列包含非正式定义，第四列给出简短的例子。 要注意，在一些情况下，不同的符号有相同的意义，而同一个符号，依赖于上下文，有不同的意义。.
查看 布尔代数和逻辑符号表
逻辑非
逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值--。 命题A的非可以有几种写法：.
查看 布尔代数和逻辑非
MV-代数
在纯数学分支抽象代数中，MV-代数（多值代数）是带有二元运算 \oplus、一元运算 \neg 和常量 0 的满足特定公理的代数结构。多值逻辑是 MV-代数的模型。.
查看 布尔代数和MV-代数
Stone布尔代数表示定理
在数学中，斯通氏布尔代数表示定理声称所有布尔代数都同构于集合域。这个定理是深入理解在二十世纪上半叶所拓展的布尔代数的基础。这个定理首先由斯通氏（1936年）证明，并以他的姓氏命名。斯通氏通过他对希尔伯特空间上的算子的谱理论的研究而得出了它。.
Vim
Vim是从vi发展出来的一个文本编辑器。其代码补完、编译及错误跳转等方便编程的功能特别丰富，在程序员中被广泛使用。和Emacs并列成为类Unix系统用户最喜欢的编辑器。 Vim的第一个版本由布萊姆·米勒在1991年发布。最初的简称是Vi IMitation，随着功能的不断增加，正式名称改成了Vi IMproved。现在是在开放源代码方式下发行的自由软件。.
查看 布尔代数和Vim
XPath
XPath即为XML路径语言（XML Path Language），它是一种用来确定XML文档中某部分位置的语言。 XPath基于XML的树状结构，提供在数据结构树中找寻节点的能力。起初XPath的提出的初衷是将其作为一个通用的、介于与XSL间的语法模型。但是XPath很快的被开发者采用来当作小型查询语言。.
查看 布尔代数和XPath
抽象代数逻辑
抽象代数逻辑(AAL)是研究代数类关联于逻辑系统的方式和这些代数类如何与逻辑系统交互的数理逻辑领域。.
查看 布尔代数和抽象代数逻辑
林登鲍姆-塔斯基代数
在数理逻辑中，逻辑理论T的林登鲍姆-塔斯基代数A由这个理论的句子p的等价类构成，其等价关系~定义为 就是说，在T中句子q能演绎自p，p能演绎自q。 在A中的运算继承自T中能获得的那些运算，典型的是合取和析取，在这里它们在这些类上是良定的。当T中存在否定的时候，A是布尔代数，假定逻辑是经典逻辑。反或来说，对于所有布尔代数A，有（经典）句子逻辑的一个理论T使得T的林登鲍姆-塔斯基代数同构于A。换句话说，所有布尔代数都是（不別同构之異）林登鲍姆-塔斯基代数。 在直觉逻辑的情况下，林登鲍姆-塔斯基代数是海廷代数。 有时简称为林登鲍姆代数，这个构造得名于阿道夫·林登鲍姆（1904年－1941或1942年）和阿尔弗雷德·塔斯基。.
格 (数学)
在数学中，格是其非空有限子集都有一个上确界（叫并）和一个下确界（叫交）的偏序集合（poset）。格也可以特征化为满足特定公理恒等式的代数结构。因为两个定义是等价的，格理论从序理论和泛代数二者提取内容。半格包括了格，依次包括海廷代数和布尔代数。这些"格样式"的结构都允许序理论和抽象代数的描述。.
查看 布尔代数和格 (数学)
模糊集
模糊集是模糊数学上的一个基本概念，是数学上普通集合的扩展。.
查看 布尔代数和模糊集
模糊数学
模糊数学，亦称弗晰数学或模糊性数学。1965年以后，在模糊集合、模糊逻辑的基础上发展起来的模糊拓扑、模糊测度论等数学领域的统称。是研究现实世界中许多界限不分明甚至是很模糊的问题的数学工具。在模式识别、人工智能等方面有广泛的应用。.
查看 布尔代数和模糊数学
模态逻辑
模态逻辑，或者叫（不很常见）内涵逻辑，是处理用模态如“可能”、“或许”、“可以”、“一定”、“必然”等限定的句子的逻辑。模态逻辑可以用语义的“内涵性”来描述其特征：复杂公式的真值不能由子公式的真值来决定的。允许这种决定性的逻辑是“外延性的”，经典逻辑就是外延性的例子。模态算子不能使用外延语义来形式化：“乔治·布什是美国总统”和“2+2.
查看 布尔代数和模态逻辑
有界格
设(L, \vee, \wedge)是一个格，若存在a \in L，使得对于所有的x \in L有a \leq x，则称a为L的全下界；若存在b \in L，使得对于所有的x \in L有x \leq b，则称b为L的全上界。 可以证明，若格L存在全上界或全下界，一定是唯一的。一般将格的全上界记作1，全下界记作0。（注意这里的0,1只是两个特殊的符号，和自然数0,1不同） 设(L, \vee, \wedge)是一个格，若L存在全上界和全下界，则称L为有界格，记作(L, \vee, \wedge, 0, 1)。 设(L, \vee, \wedge, 0, 1)是一个有界格，则对于所有的a \in L，有.
查看 布尔代数和有界格
有补格
设(L, \vee, \wedge, 0, 1)是一个有界格，a \in L，若存在b \in L使得a \wedge b.
查看 布尔代数和有补格
海廷代数
在数学裡，海廷代数是一特殊的偏序集，經由廣義化布爾代數而成，得名於阿蘭德·海廷。海廷代数是作为直觉主义逻辑的模型而產生的，是一種排中律不總是成立的逻辑。完全海廷代数是无点拓扑学的核心。.
查看 布尔代数和海廷代数
新基础集合论
在数理逻辑中，新基础集合論（NF）是公理化集合論的一種，由蒯因构想出來作为对《数学原理》中类型论的简化。蒯因1937年於《数理逻辑的新基础》一文中首次提及NF（此即其名稱的由來）。請注意，此条目大多是在談论NFU，這是Jensen於1969年所提出，並由Holmes於1998年闡述的一重要变体。.
查看 布尔代数和新基础集合论
新數學
新數學運動（New Math）是1960年代的中學數學教育的大改革，由美國率先帶動。這次運動，起源於蘇聯在1957年將世界首枚人造衛星史普尼克1號送入太空，令美國大為震驚。美國認為蘇聯之所以在太空競賽領先，是因蘇聯的工程師是優秀的數學家，於是美國改革教育，以加強民眾的科學教育和數學能力，應對蘇聯的科技人才的威脅。歐美其他國家以至亞洲如日本、臺灣和香港也有跟隨，而改革未如美國激烈。.
查看 布尔代数和新數學
数学史
数学史的主要研究对象是历史上的数学发现，以及调查它们的起源，或更广义地说，数学史就是对过去的数学方法与数学符号的探究。 数学起源于人类早期的生产活动，为古中国六艺之一，亦被古希腊学者视为哲学之起点。數學最早用於人們計數、天文、度量甚至是貿易的需要。這些需要可以簡單地被概括為數學對結構、空間以及時間的研究；對結構的研究是從數字開始的，首先是從我們稱之為初等代數的——自然數和整數以及它們的算術關係式開始的。更深層次的研究是數論；對空間的研究則是從幾何學開始的，首先是歐幾里得幾何和類似於三維空間（也適用於多或少維）的三角學。後來產生了非歐幾里得幾何，在相對論中扮演著重要角色。 在进入知识可以向全世界传播的现代社会以前，有记录的新数学发现仅仅在很少几个地区重见天日。目前最古老的数学文本是《普林顿 322》（古巴比伦，约公元前1900年），《莱因德数学纸草书》（古埃及，约公元前2000年-1800年），以及《莫斯科数学纸草书》（古埃及，约公元前1890年）。以上这些文本都涉及到了如今被称为毕达哥拉斯定理的概念，后者可能是继简单算术和几何后，最古老和最广泛传播的数学发现。 在公元前6世纪后，毕达哥拉斯将数学作为一门实证的学科进行研究，他创造了古希腊语单词μάθημα（mathema），意为“（被人们学习的）知识学问”。希腊数学家在相当大的程度上改进了这些数学方法（特别引入了演绎推理和严谨的数学证明），并扩大了数学的主题。中国数学做了早期贡献，包括引入了位值制系统。如今大行于世的印度-阿拉伯数字系统和运算方法，很可能是在公元后1000年的印度逐渐演化，并被伊斯兰数学家通过花拉子米的著作将其传到了西方。伊斯兰数学则将以上这些文明的数学做了进一步的发展贡献。许多古希腊和伊斯兰数学著作随后被翻译成了拉丁文，引领了中世纪欧洲更深入的数学发展。 从16世纪文艺复兴时期的意大利开始，算术、初等代数及三角学等初等数学已大体完备。17世纪变数概念的产生使人们开始研究变化中的量与量的互相关系和图形间的互相变换。随着自然科学和技术的进一步发展，为研究数学基础而产生的集合论和数理逻辑等也开始慢慢发展。 从古代到中世纪，数学发展的历史时期都伴随着数个世纪的停滞，但从16世纪以来，新的数学发展伴随新的科学发展，让数学不断加速大步前进，直至今日。.
查看 布尔代数和数学史
數學符號
數學符號不只被使用於數學裡，更包含於物理科學、工程及經濟學等領域內。有些數學符號在生活中很常見，例如數字1及2、二元運算+等，儘管它們的實際定義可能並不顯淺；隨著數學觀念的發展，我們需要更多的符號以避免冗長的定義陳述，或是簡潔地表示某些概念。一些可能出現在教科書上的符號有正弦函數\sin、極限\lim和微分\frac；也有更為基本、然而抽象的符號，比如函數f(x)、等式.
查看 布尔代数和數學符號
拓撲學術語
這裡列出的是在數學領域中的一分支拓撲學所常使用的一些術語。雖然在拓撲學的許多子類中，術語上的使用差異並不是很大，但是這裡主要是針對一般拓撲學（或稱點集拓撲）來編寫。這些術語也是其它學門如代數拓扑、微分拓扑和幾何拓扑中的基本術語。 關於一些基本的定義，請參閱拓扑空間的條目，關於拓撲學的簡史，請參閱拓撲學。關於集合以及函數的基本定義，請參閱樸素集合論、公理集合論，和函數。下面所列出的條目對拓撲學的瞭解也有幫助，這些文章中包含了某些一般拓撲學中的特別字彙，我們所列出的有些術語將在以下做更詳盡的解釋。一般拓撲學專題列表和一般拓撲學的例子列表也非常有用。.
查看 布尔代数和拓撲學術語