首页 | 主题 | 图库 | 问答 | 文摘 | 原创 | 百科

历史 | 地理 | 人物 | 艺术 | 体育 | 科学 | 音乐 | 电影 | 信息技术 | 世界遗产

 开放、中立，源自维基百科

个人工具


Category:數理邏輯

维库，知识与思想的自由文库

跳转到: 导航, 搜索
頁面分類 > 人类社会 > 知識 > 科学 > 邏輯 > 數理邏輯
頁面分類 > 人类社会 > 知識 > 学科 > 数学 > 數理邏輯
頁面分類 > 人类社会 > 文化 > 哲学 > 邏輯 > 數理邏輯
頁面分類 > 科学 > 数学 > 數理邏輯

数理逻辑经常被认为是符号逻辑或形式逻辑的同义词。但它也被描述为研究数学的逻辑基础的形式逻辑分支，这里使用的就是这个定义。


子类

该分类中有5个子类。

布

模

证

递

集

来自“http://ghdh.movieclub.com.cn/wiki/Category:%E6%95%B8%E7%90%86%E9%82%8F%E8%BC%AF”
导航
其它语言
AD Links