Home» Teaching» Courses» 各学期课程一览» 2014秋季学期开设课程

2014秋季学期开设课程

发布日期:2019-08-19 作者:
课 程 号 课 程 名 课 程 类 型 学时 学分 上 课 时 间 地 点 任课教师 备注
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 刘壮虎