| 课 程 号 | 课 程 名 | 课 程 类 型 | 学时 | 学分 | 上 课 时 间 | 地 点 | 任课教师 | 备注 |
|---|---|---|---|---|---|---|---|---|
|
02335271 |
逻辑前沿问题（上） | 研究生课程（逻辑专业必修） | 3 | 3 | 周二 7-9 | 地学 108 |
逻辑专业全体师生 |
|
|
02336401 |
逻辑与论证 | 本科生课程（必修） | 3 | 3 | 周四 7-9 | 二教 109 | 邢滔滔 | 本研合上 |
| 02315320 | 知识的逻辑 |
研究生课程（选修） |
3 | 3 | 周三 7-9 | 地学 214 | 王彦晶 | 本研合上 |
|
02331031 |
一阶逻辑 | 研究生课程（逻辑专业必修） | 3 | 3 | 周三 10-12 | 地学103 | 邢滔滔 | 本研合上 |
|
02331051 |
模态逻辑 | 本科生课程（选修） | 3 | 3 | 周四 7-9 | 一教 105 | 丁一峰 | 本研合上 |
| 02315032 |
可计算理论基础 |
本科生课程（选修） | 2 | 2 | 周一 3-4 | 一教 202 | 丁一峰 | 本研合上 |
|
02331371 |
数学结构 | 研究生课程（逻辑专业必修） | 3 | 3 | 周一 7-9 | 文史 203 | 钟盛阳 | 本研合上 |