| 课 程 号 | 课 程 名 | 课 程 类 型 | 学时 | 学分 | 上 课 时 间 | 地 点 | 任课教师 | 备注 |
|---|---|---|---|---|---|---|---|---|
|
02335271 |
逻辑前沿问题（上） | 研究生课程（逻辑专业必修） | 3 | 3 | 周二 7-9 | 三教 404 |
逻辑专业全体师生 |
|
|
02336401 |
逻辑与论证 | 本科生课程（必修） | 3 | 3 | 周四 7-9 | 理教 209 | 邢滔滔 | 本研合上 |
| 02315320 | 知识的逻辑 |
研究生课程（选修） |
3 | 3 | 周三 7-9 | 文史 208 | 王彦晶 | 本研合上 |
|
02331031 |
一阶逻辑 | 研究生课程（逻辑专业必修） | 3 | 3 | 周三 10-12 | 文史 212 | 邢滔滔 | 本研合上 |
|
02331051 |
模态逻辑 | 本科生课程（选修） | 3 | 3 | 周三 7-9 | 二教 415 | 丁一峰 | 本研合上 |
|
02331221 |
模型论 | 研究生课程（选修） | 3 | 3 | 周四 7-9 | 文史 203 | 钟盛阳 | 本研合上 |
|
02331371 |
数学结构 | 研究生课程（逻辑专业必修） | 3 | 3 | 周一 7-9 | 二教 506 | 钟盛阳 | 本研合上 |