的分支， 数理逻辑 ( mathematic logic )是符号逻辑的分支。
基于12个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
This course involves mathematic logic, theory of set, algebraic system and the theory of graph.
该课程主要介绍逻辑学、集合论、代数系统以及图论的基本概念及其方法。
youdao
应用推荐
模块上移
模块下移
不移动