2017秋季学期开设课程
发布日期：2019-08-19 作者：
| 课 程 号 |
课 程 名 |
课 程 类 型 |
学时 |
学分 |
上 课 时 间 |
地 点 |
任课教师 |
备注 |
| 02315170 |
一阶逻辑 |
研究生课程(逻辑硕士必修) |
3 |
3 |
周三7-9 |
国关C210 |
邢滔滔 |
2017硕士生；本研合上 |
| 02331271 |
悖论研究 |
全校选修课(通选) |
3 |
3 |
周一5-6（双周）/周三5-6 |
理教309 |
陈波 |
|
| 02331370 |
数学结构 |
研究生课程(逻辑硕士必修) |
3 |
3 |
周四7-9 |
一教303 |
刘壮虎 |
2016硕士生；本研合上 |
| 02331051 |
模态逻辑 |
本科生课程(逻辑类必修) |
4 |
4 |
周二3-4/周三3-4 |
理教210 |
周北海 |
本研合上 |
| 02330036 |
语言、逻辑与计算 |
研究生课程(选修) |
2 |
2 |
周二3-4 |
三教508 |
王彦晶 |
本研合上，与外援胡旭辉、计算机所孙薇薇老师合开 |
| 02336401 |
逻辑与论证 |
大类平台课(必修) |
3 |
3 |
周四7-8/周五3-4（单周） |
理教313 |
邢滔滔 |
哲学系2017级本科生必修 |
| 02315271 |
逻辑前沿问题（上） |
研究生课程(必修) |
3 |
3 |
周二7-9 |
理教417 |
|
逻辑专业全体教师、研究生 |
| 02330030 |
逻辑导论 |
全校选修课(通选) |
3 |
3 |
周三10-12 |
二教107 |
陈波 |
|
| 02331210 |
集合论 |
本科生课程(逻辑类必修) |
4 |
4 |
周一3-4/周四3-4 |
理教404 |
刘壮虎
|
|
