什么是数理逻辑
更新时间:
1、数理逻辑是研究在形式逻辑上符号化、数学化的逻辑。
2、数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。
什么是数理逻辑相关文章:
什么是数理逻辑
1、数理逻辑是研究在形式逻辑上符号化、数学化的逻辑。2、数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻...
推荐度:
点击下载文档文档为doc格式
上一篇:左眉上长痘痘怎么回事
下一篇:锂电池锁怎么用