数理逻辑训练是什么

　　数理逻辑训练是指训练数学方法研究逻辑或形式逻辑。属形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。

　　它既是数学的一个分支，也是逻辑学的一个分支。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。

数理逻辑训练是什么相关文章：

★ 最好训练的狗是什么狗

★ 数理逻辑训练是什么

★ 三花草是什么植物

★ 湿巾纸里面的水是什么

★ 最好训练的狗是什么狗

★ 孙武训练宫女典故是什么

★ 损儿是什么电视剧

★ 科目二强化训练是什么意思

★ 两创具体指的是什么

★ 凯格尔球凯格尔训练法是什么