2013秋季学期开设课程
发布日期：2019-08-19 作者：
| 课 程 号 |
课 程 名 |
课 程 类 型 |
学时 |
学分 |
上 课 时 间 |
地 点 |
任课教师 |
备注 |
| 02315170 |
一阶逻辑 |
研究生课程(逻辑硕士必修) |
3 |
3 |
周三10-12 |
理教212 |
邢滔滔 |
2013硕士生；本研合上 |
| 02331370 |
数学结构 |
研究生课程(逻辑硕士必修) |
3 |
3 |
周四7-9 |
一教209 |
刘壮虎 |
2012（2013可选）硕士生；本研合上 |
| 02332450 |
本体论论证 |
本科生课程(选修) |
2 |
2 |
周三7-8 |
三教304 |
邢滔滔 |
英语授课 |
| 02315020 |
模型论 |
研究生课程(选修) |
3 |
3 |
周一7-9 |
二教508 |
施翔晖 |
本研合上 |
| 02331051 |
模态逻辑 |
本科生课程(逻辑类必修) |
4 |
4 |
周二5-6/周三5-6 |
文史104 |
周北海 |
先修现代逻辑基础 |
| 02315271 |
逻辑前沿问题（上） |
研究生课程(必修) |
3 |
3 |
周二7-9 |
三教408 |
|
逻辑专业全体教师、研究生 |
| 02330030 |
逻辑导论 |
全校选修课(通选) |
3 |
3 |
周一10-11/周三10-11(双周) |
理教303 |
陈波 |
全校通选课 |
| 02331210 |
集合论 |
本科生课程(逻辑类必修) |
4 |
4 |
周一3-4/周四3-4 |
四教309 |
刘壮虎
|
|
