1、数理逻辑是研究在形式逻辑上符号化、数学化的逻辑。
2、数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。
上一篇:极品透视赤焰圣歌
下一篇:cc单位换算ml
相关文章
边伯贤肉
09月04日
小人物
08月27日
西北大学研究生分数线
08月26日
中央财经大学研究生院
中国科学院心理研究所
重庆邮电大学研究生院
最新文章
电视剧app神器
关于狙击手的电视连续剧
禁放影片
新拍的谍战片
黑白禁区在线看完整版
雷神2电影解说
热门文章
小提琴有几根琴弦
蓬莱阁在哪里
深圳北高铁站
陆上丝绸之路起点
沙尘暴是怎么形成的
梦见自己摔了一跤