| 课 程 号 | 课 程 名 | 课 程 类 型 | 学时 | 学分 | 上 课 时 间 | 地 点 | 任课教师 | 备注 |
|---|---|---|---|---|---|---|---|---|
| 02331030 | 一阶逻辑 | 研究生课程(逻辑硕士必修) | 4 | 4 | 周二9-12 | 文史208 | 邢滔滔 | |
| 02331220 | 模型论 | 研究生课程(逻辑硕/博必修) | 4 | 4 | 周二5-8 | 二教504 | 叶峰 | 07级合上 |
| 02331051 | 模态逻辑 | 本科生课程(逻辑类必修) | 4 | 4 | 周三11-12 周四3-4 | 二教523 | 周北海 | |
| 02315270 | 逻辑前沿问题 | 研究生课程(逻辑硕/博必修) | 4 | 4 | 周三6-8 | 四教411 | 周北海等 | 逻辑硕博必修， 逻辑学全体老师授课 |
| 02330030 | 逻辑导论 | 全校选修课(通选) | 3 | 3 | 周二11-12 周四11-12(双周) | 二教207 | 陈波 | |
| 02315110 | 邻域语义学 | 研究生课程(符号逻辑方向博士生必修) | 4 | 4 | 周一9-12 | 二教529 | 刘壮虎 |
|
| 02331210 | 集合论 | 本科生课程(逻辑类必修) | 4 | 4 | 周一3-4 周二1-2 | 二教530 | 刘壮虎 |