主干学科：哲学、数学

主要课程：数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻 辑、归纳逻辑、四论导引（公理集合论、模型论、递归论、证明论）、应用逻辑、逻辑史、逻辑哲学、程序语言设计、操作系统等。

查看更多>>