徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
下载
比浏览器更快的访问!
 

一元布尔代数

指数 一元布尔代数

在抽象代数中,一元布尔代数是带有如下标识(signature)的代数结构 这里的 是布尔代数。 前缀一元算子 ∃ 指示存在量词,它满足恒等式:.

5 关系: 布尔代数主题列表代数逻辑圆柱代数内部代数关系代数 (抽象代数)

布尔代数主题列表

* 集合代数.

新!!: 一元布尔代数和布尔代数主题列表 · 查看更多 »

代数逻辑

在數理邏輯中,代數邏輯使用抽象代數方法形式化邏輯。.

新!!: 一元布尔代数和代数逻辑 · 查看更多 »

圆柱代数

阿尔弗雷德·塔斯基发明的圆柱代数概念自然的出现于一阶逻辑的代数化中。可比较于布尔代数对命题逻辑所扮演的角色。实际上,圆柱代数是装备了建模量化的额外圆柱化运算的布尔代数。.

新!!: 一元布尔代数和圆柱代数 · 查看更多 »

内部代数

在抽象代数中,内部代数是采用了集合的拓扑内部概念的特定类型的代数结构。内部代数之对于拓扑和模态逻辑 S4 如同布尔代数之对于集合论和普通命题逻辑。内部代数形成了模態代數的一个簇。.

新!!: 一元布尔代数和内部代数 · 查看更多 »

关系代数 (抽象代数)

在数学中,关系代数是支持叫做逆反(converse)的对合一元运算的剩余布尔代数。激发关系代数的例子是在集合 X 上的所有二元关系的代数 2^,带有 R·S 被解释为平常的二元关系复合。关系代数的早期形式形成于十九世纪德·摩根、皮尔士和 Ernst Schröder 的工作。它今日的纯等式形式是阿尔弗雷德·塔斯基和他的学生在 1940 年代开发的。.

新!!: 一元布尔代数和关系代数 (抽象代数) · 查看更多 »

重定向到这里:

一元布爾代數

传出传入
嘿!我们在Facebook上吧! »