1、数理逻辑是研究在形式逻辑上符号化、数学化的逻辑。
2、数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。
上一篇:六英寸多大
下一篇:带有横钩的字
相关文章
算术研究
09月08日
禅师杰克逊
09月06日
亲戚群名
09月05日
效度是什么意思
09月02日
行动研究法
中国电子科技集团公司第十四研究所
08月30日
最新文章
耐候胶
丢你老母
内录软件
宋墓
智赚玉麒麟
快手是干什么用的
热门文章
企鹅属于什么动物
炒核桃
人迹罕至的意思
央字的偏旁
蚝油怎么挑选
氨纶是什么