找考题网-背景图
填空题

“数理逻辑,又称符号逻辑,它是从形式逻辑分化出来的一门学科。数理逻辑()。用(),是数理逻辑最主要的特征。现代数理逻辑主要有四个分支学科:()。

【参考答案】

集中地、大量地、系统地使用符号来研究和表述逻辑;数学方法研究逻辑;集合论、模型论、递归论和证明论
热门试题