食品伙伴网学习中心

您好，欢迎光临食品伙伴网学习平台！

| 返回食品伙伴网 | 学生平台

当前位置：专业分类 > 按学科分类与代码国家标准（GB/T13745-2009）> 数理逻辑与数学基础

按学科分类与代码国家标准（GB/T13745-2009）
名称	编号	名称	编号
演绎逻辑学(亦称符号逻辑学)	110.1410	证明论(亦称元数学)	110.1420
递归论	110.1430	模型论	110.1440
公理集合论	110.1450	数学基础	110.1460
数理逻辑与数学基础其他学科	110.1499

推荐专业设置