课 程 号 |
课 程 名 |
课 程 类 型 |
学时 |
学分 |
上 课 时 间 |
地 点 |
任课教师 |
备注 |
---|---|---|---|---|---|---|---|---|
02315272 |
逻辑前沿问题(下) |
研究生课程(逻辑专业必修) |
3 |
3 |
周二 7-9 |
二教 313 |
|
逻辑专业全体师生 |
02315260 |
哲学专业逻辑 |
研究生课程(外国哲学专业必修) |
3 |
3 |
周三 10-12 |
二教 302 |
邢滔滔 |
|
02315050(研) 02315051(本) |
高级模态逻辑 |
研究生课程(逻辑专业必修) |
4 |
4 |
周二 3-4 周四 3-4 |
一教 216 |
王彦晶 |
本研合上 |
02330030 |
逻辑导论 |
通识核心课 |
3 |
3 |
周一 10-12 |
理教 211 |
王彦晶 钟盛阳 丁一峰 姚博凯 |
|
02315010(研) 02331240(本) |
公理集合论 |
研究生课程(逻辑专业必修) |
3 |
3 |
周三 7-9 |
二教 407 |
姚博凯 |
本研合上 |
02315340 |
社会选择理论 | 本科生课程(选修) | 2 | 2 | 周三 3-4 | 一教 107 | 丁一峰 | 本研合上 |
02331070(本) 02313020(研) |
数理逻辑 |
本科生课程(选修) |
4 |
4 |
周一 3-4 周三 3-4 |
二教 519 |
钟盛阳 |
本研合上 |
北京国际数学研究中心的Kyle Gannon老师在数学科学学院开设《模型论》(课号: 00104143),3学时3学分,周二3-4、星期四7-8(单周),三教204,本研合上。