数理逻辑训练是什么(数理逻辑学什么)

2022-11-16 11:56:51

有人对什么是数理逻辑训练(数理逻辑研究什么)感到不解。让小青说说什么是数理逻辑训练。

1.数理逻辑训练是指训练数学方法来研究逻辑或形式逻辑。它属于形式上具有符号性和数学性的形式逻辑,但本质上仍属于知性逻辑的范畴。

2.它是数学和逻辑的分支。它的研究对象是将证明和计算这两个直观概念符号化后的形式系统。数理逻辑是基础数学不可缺少的一部分。名字里虽然有逻辑,但不属于纯逻辑的范畴。

这就是我想说的。希望小青的内容能帮助你了解更多。

  • 标签: