2010秋季学期开设课程
发布日期：2019-08-19 作者：
| 课 程 号 |
课 程 名 |
课 程 类 型 |
学时 |
学分 |
上 课 时 间 |
地 点 |
任课教师 |
备注 |
| 02315170 |
一阶逻辑 |
研究生课程(逻辑硕士必修) |
3 |
3 |
周三10-12 |
文史楼117 |
邢滔滔副教授 |
|
| 02315240 |
数学哲学 |
研究生课程(逻辑、科学哲学类选修) |
3 |
3 |
周一10-12 |
文史楼110 |
叶峰副教授 |
本研合上，本科生为2学分 |
| 02331370 |
数学结构 |
研究生课程(逻辑硕士必修) |
3 |
3 |
周一7-9 |
理教120 |
刘壮虎教授 |
本研合上，本科生为2学分 |
| 02332450 |
本体论论证 |
本科生课程(选修) |
2 |
2 |
周一5-6 |
二教408 |
邢滔滔副教授 |
|
| 02331051 |
模态逻辑 |
本科生课程(逻辑类必修) |
4 |
4 |
周二5-6，周三10-11 |
一教209 |
周北海教授 |
|
| 02315031 |
递归论基础 |
研究生课程(选修) |
3 |
3 |
周四7-9 |
文史楼106 |
叶峰副教授 |
|
| 02315271 |
逻辑前沿问题（上） |
研究生课程(必修) |
3 |
3 |
周二7-9 |
二教421 |
|
|
| 02330030 |
逻辑导论 |
全校选修课(通选) |
3 |
3 |
周一10-11（单），周三10-11 |
二教205 |
陈波教授
|
