導覽
近期變更
隨機頁面
新手上路
新頁面
優質條目評選
繁體
不转换
简体
繁體
18.119.108.166
登入
工具
閱讀
檢視原始碼
特殊頁面
頁面資訊
求真百科歡迎當事人提供第一手真實資料,洗刷冤屈,終結網路霸凌。
檢視 数理逻辑 的原始碼
←
数理逻辑
前往:
導覽
、
搜尋
由於下列原因,您沒有權限進行 編輯此頁面 的動作:
您請求的操作只有這個群組的使用者能使用:
用戶
您可以檢視並複製此頁面的原始碼。
{{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>
返回「
数理逻辑
」頁面