| 课 程 号 | 课 程 名 | 课 程 类 型 | 学时 | 学分 | 上 课 时 间 | 地 点 | 任课教师 | 备注 |
|---|---|---|---|---|---|---|---|---|
02315271 |
逻辑前沿问题（上） | 研究生课程（逻辑专业必修） | 3 | 3 | 周二 7-9 | 二教 411 | 逻辑专业全体师生 |
|
02315170 |
一阶逻辑 |
研究生课程（逻辑专业必修） | 3 | 3 | 周一 7-9 | 三教 505 | 钟盛阳 | 本研合上 |
02336401 |
逻辑与论证 | 本科生课程（必修） | 3 | 3 | 周四 7-9 | 理教 410 | 邢滔滔 | 本研合上 |
02315320 |
知识的逻辑 | 研究生课程（选修） | 3 | 3 | 周三 7-9 |
文史 107 |
王彦晶 |
本研合上 |
02315310 |
模态逻辑 | 研究生课程（选修） | 3 | 3 | 周三 7-9 |
二教 309 |
丁一峰 |
本研合上 |
02315011 |
集合论专题 | 研究生课程（选修） | 2 | 2 | 周四 7-8 |
地学 202 |
姚博凯 |
本研合上 |