课 程 号 | 课 程 名 | 课 程 类 型 | 学时 | 学分 | 上 课 时 间 | 地 点 | 任课教师 | 备注 |
---|---|---|---|---|---|---|---|---|
02315170 | 一阶逻辑 | 研究生课程(逻辑硕士必修) | 3 | 3 | 周三10-12 | 四教407 | 邢滔滔 | 2014硕士生;本研合上 |
02315280 | 动态逻辑 | 研究生课程(选修) | 3 | 3 | 周一7-9 | 四教303 | 王彦晶 | 本研合上,先修模态逻辑 |
形式语义学 | 全校选修课(选修) | 2 | 周二5-6/周四5-6 | 理教315 | 周北海 | 本研合上 | ||
02331370 | 数学结构 | 研究生课程(逻辑硕士必修) | 3 | 3 | 周四7-9 | 四教304 | 刘壮虎 | 2013(2014可选)硕士生;本研合上 |
02315271 | 逻辑前沿问题(上) | 研究生课程(必修) | 3 | 3 | 周二7-9 | 三教108 | 逻辑专业全体教师、研究生 | |
02331210 | 集合论 | 本科生课程(逻辑类必修) | 4 | 4 | 周一3-4/周四3-4 | 四教303 | 刘壮虎 |