试题详情
简答题“数理逻辑，又称符号逻辑，它是从形式逻辑分化出来的一门学科。数理逻辑（）。用（），是数理逻辑最主要的特征。现代数理逻辑主要有四个分支学科：（）。
  • 集中地、大量地、系统地使用符号来研究和表述逻辑；数学方法研究逻辑；集合论、模型论、递归论和证明论

  • 关注下方微信公众号，在线模考后查看

热门试题