| 课 程 号 | 课 程 名 | 课 程 类 型 | 学时 | 学分 | 上 课 时 间 | 地 点 | 任课教师 | 备注 |
|---|---|---|---|---|---|---|---|---|
|
02335271 |
逻辑前沿问题（上） | 研究生课程（逻辑专业必修） | 3 | 3 | 周二 7-9 | 理教 211 |
逻辑专业全体师生 |
|
|
02313580 |
哲学研究与写作 | 研究生课程（逻辑专业必修） | 1 | 1 | 周二 3-4 | 四教 407 | 王彦晶 |
9-16周上课 限逻辑学及相关专业研究生 |
|
02315170 |
一阶逻辑 | 研究生课程（逻辑专业必修） | 3 | 3 | 周三 10-12 | 一教 104 | 邢滔滔 | 本研合上 |
|
02315250 |
数学结构 | 研究生课程（逻辑专业必修） | 3 | 3 | 周一 7-9 | 二教 501 | 钟盛阳 | 本研合上 |
|
02336401 |
逻辑与论证 | 本科生课程（必修） | 3 | 3 | 周四 7-9 | 理教 313 | 邢滔滔 | 本研合上 |
|
02315310 |
模态逻辑 | 研究生课程（选修） | 3 | 3 |
周一 3-4 周三 3-4（双周） |
二教 313 | 丁一峰 | 本研合上 |
|
02315240 |
数学哲学 | 研究生课程（选修） | 3 | 3 | 周四 10-12 | 理教 414 | 姚博凯 | 本研合上 |
|
02315032 |
可计算理论基础 | 本科生课程（选修） | 2 | 2 | 周一 5-6 | 二教 424 | 丁一峰 |
本研合上，与方楠老师合上 |