開啟主選單
求真百科
搜尋
檢視 数理逻辑 的原始碼
←
数理逻辑
由於下列原因,您沒有權限進行 編輯此頁面 的動作:
您請求的操作只有這個群組的使用者能使用:
用戶
您可以檢視並複製此頁面的原始碼。
{{Infobox person | 名称 = '''数理逻辑''' | 图像 = [[File:数理逻辑.jpg|缩略图||center|[http://img.kongfz.cn/20160801/2914487/49P77QVLAS_b.jpg 原图链接] [http://www.kongfz.cn/23125454/pic/ 来自搜狐网]]] }} '''<big>数理逻辑</big>''',形式逻辑形式上符号化、数学化的逻辑,本质上仍属于[[知性逻辑]]的范畴。 数理逻辑又称符号[[逻辑]]、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个[[直观概念]]进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。<ref>[https://www.wjx.cn/jq/4364515.aspx 数理逻辑能力测验]</ref>
返回「
数理逻辑
」頁面