2016秋季学期开设课程
发布日期：2019-08-19 作者：
| 课 程 号 |
课 程 名 |
课 程 类 型 |
学时 |
学分 |
上 课 时 间 |
地 点 |
任课教师 |
备注 |
| 02315170 |
一阶逻辑 |
研究生课程(逻辑硕士必修) |
3 |
3 |
周四7-9 |
理教418 |
刘壮虎 |
2015硕士生；本研合上 |
| |
哲学数学计算机中的逻辑 |
全校选修课(选修) |
2 |
2 |
周四10-11 |
二教104 |
王彦晶 |
|
| 02315020 |
模型论 |
研究生课程(选修) |
3 |
3 |
周一7-9 |
二教506 |
|
外请宋诗畅老师授课，本研合上 |
| 02331051 |
模态逻辑 |
本科生课程(逻辑类必修) |
4 |
4 |
周二3-4/周三3-4 |
文史205 |
周北海 |
先修现代逻辑基础，本研合上 |
| 02336401 |
逻辑与论证 |
大类平台课(必修) |
3 |
3 |
周四7-8/周五3-4（单周） |
三教301 |
邢滔滔 |
哲学系2016级本科生必修 |
| 02315271 |
逻辑前沿问题（上） |
研究生课程(必修) |
3 |
3 |
周二7-9 |
一教304 |
|
逻辑专业全体教师、研究生 |
| 02330030 |
逻辑导论 |
全校选修课(通选) |
3 |
3 |
周三10-12 |
二教107 |
陈波 |
全校通选课 |
| 02331210 |
集合论 |
本科生课程(逻辑类必修) |
4 |
4 |
周一3-4/周四3-4 |
四教303 |
刘壮虎
|
|
