首 页
学术站点
知识要闻
国际动态
人 物
研招资料
会议中心
学术指南
课 件
知 识 库
所有栏目
学术站点
知识要闻
国际动态
人物
研招资料
会议中心
学术指南
课件
知识库
所有学科
哲学
经济学
法学
教育学
文学
历史学
理学
工学
农学
医学
军事学
管理学
旅游学
文化学
特色库
标题
作者
关键词
摘要
正文
单位
网址
任意词
理学
>>>
数学
>>>
数理逻辑与数学基础
>>>
演绎逻辑学
证明论
递归论
模型论
公理集合论
数学基础
数理逻辑与数学基础其他学科
搜索结果:
1-1
共查到
“
数理逻辑与数学基础 布尔
”
相关记录1条 . 查询时间(0.074 秒)
逻辑与
布尔
代数
逻辑
布尔代数
Stone表示定理
完备性定理
2011/9/14
在本文中研究一些与逻辑有密切关系的
布尔
代数,继而讨论
布尔
代数与逻辑的关系。之后我们将证明Stone表示定理,并将逻辑中完备性定理作为推论给出简洁的证明。
存档文本
存档附件
原文地址
文献传递
中国研究生教育排行榜
-
条
正在加载...
中国学术期刊排行榜
-
条
正在加载...
世界大学科研机构排行榜
-
条
正在加载...
中国大学排行榜
-
条
正在加载...
人 物
-
篇
正在加载...
课 件
-
篇
正在加载...
视听资料
-
篇
正在加载...
知识库
-
篇
正在加载...
研招资料
-
篇
正在加载...
知识要闻
-
篇
正在加载...
国际动态
-
篇
正在加载...
会议中心
-
篇
正在加载...
学术指南
-
篇
正在加载...
学术站点
-
篇
正在加载...