2011秋季学期开设课程
发布日期：2019-08-19 作者：
| 课 程 号 |
课 程 名 |
课 程 类 型 |
学时 |
学分 |
上 课 时 间 |
地 点 |
任课教师 |
备注 |
| 02315170 |
一阶逻辑 |
研究生课程(逻辑硕士必修) |
3 |
3 |
周三10-12 |
二教503 |
邢滔滔 |
2011硕士生；本研合上 |
| 02315280 |
动态逻辑 |
研究生课程(选修) |
3 |
3 |
周三7-9 |
四教307 |
王彦晶 |
本研合上 |
| 02331370 |
数学结构 |
研究生课程(逻辑硕士必修) |
3 |
3 |
周一7-9 |
二教503 |
刘壮虎 |
2011硕士生；本研合上 |
| 02332450 |
本体论论证 |
本科生课程(选修) |
2 |
2 |
周三7-8 |
文史楼213 |
邢滔滔 |
|
| 02315020 |
模型论 |
研究生课程(选修) |
3 |
3 |
周一10-12 |
三教101 |
叶峰 |
本研合上 |
| 02331051 |
模态逻辑 |
本科生课程(逻辑类必修) |
4 |
4 |
周二5-6/周四5-6 |
三教304 |
周北海 |
|
| 02315271 |
逻辑前沿问题（上） |
研究生课程(必修) |
3 |
3 |
周四7-9 |
文史楼215 |
|
逻辑专业全体教师、研究生 |
| 02331192 |
逻辑哲学专题 |
本科生课程(逻辑类选修) |
2 |
2 |
周四7-9 |
|
|
弗雷格专题；英文授课 |
| 02330030 |
逻辑导论 |
全校选修课(通选) |
3 |
3 |
周一10-11/周三10-11(单周) |
电教112 |
陈波 |
|
| 02331210 |
集合论 |
本科生课程(逻辑类必修) |
4 |
4 |
周一3-4/周四3-4 |
四教311 |
刘壮虎
|
|
