数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、应用逻辑、逻辑史、逻辑哲学、程序语言设计、操作系统等。
| 逻辑学 |
双一流
国家特色
院校特色
国家重点
拔尖专业
卓越计划
| 开设院校 | 全国排名 | 专业等级 | 学科实力 |
| 北京大学 | 1 | A+ |
|
| 北京大学医学部 | 1 | A+ |
|
| 南开大学 | 1 | B+ |
|
| 中山大学 | 2 | A- |
|
| 中国人民大学 | 3 | A |
|
| 中国人民大学(苏州校区) | 3 | A |
|
| 复旦大学 | 4 | A+ |
|
| 复旦大学医学院 | 4 | A+ |
|
| 浙江大学医学院 | 6 | B+ |
|
| 浙江大学医学院(中外合作) | 6 | B+ |
|
| 浙江大学 | 6 | B+ |
|
| 浙江大学(中外合作) | 6 | B+ |
|