| 课 程 号 | 课 程 名 | 课 程 类 型 | 学时 | 学分 | 上 课 时 间 | 地 点 | 任课教师 | 备注 |
|---|---|---|---|---|---|---|---|---|
| 02315151 | 逻辑与认证 | 专业必修 | 3 | 3 | 周一7-9 | 理教310 | 邢滔滔 | |
| 02315310 | 模态逻辑 | 专业限选 | 3 | 3 | 周三7-9 | 一教307 | 周北海、钟盛阳 | |
| 02330030 | 逻辑导论 | 全校通选 | 3 | 3 | 周一10-12 | 理教302 | 陈波 | |
| 02315271 | 逻辑前沿问题（上） | 研究生必修 | 3 | 3 | 周二7-9 | 二教406 |
逻辑专业全体师生 |
|
| 02315170 | 一阶逻辑 | 研究生必修(19级) | 3 | 3 | 周三10-12 | 二教424 | 邢滔滔 | 本研合上 |
| 02315250 | 数学结构 | 研究生必修(18级) | 3 | 3 | 周四7-9 | 地学305 | 刘壮虎 | 本研合上 |
| 02315110 | 邻域语义学 | 研究生选修 | 3 | 3 | 周一7-9 | 地学103 | 刘壮虎 |