2008秋季学期开设课程
发布日期：2019-08-19 作者：
| 课 程 号 |
课 程 名 |
课 程 类 型 |
学时 |
学分 |
上 课 时 间 |
地 点 |
任课教师 |
备注 |
| 02331030 |
一阶逻辑 |
研究生课程(逻辑硕士必修) |
4 |
4 |
|
|
叶峰副教授 |
|
| 02331370 |
数学结构 |
研究生课程(逻辑硕士必修) |
3 |
3 |
|
|
刘壮虎教授 |
|
| 02331070 |
数理逻辑 |
本科生课程(逻辑类必修) |
4 |
4 |
|
|
邢滔滔副教授 |
|
| 02331051 |
模态逻辑 |
本科生课程(逻辑类必修) |
4 |
4 |
|
|
周北海教授 |
|
| 02330030 |
逻辑导论 |
全校选修课(通选) |
3 |
3 |
|
|
陈波教授 |
|
| 02315110 |
邻域语义学 |
研究生课程(符号逻辑方向博士生必修) |
4 |
4 |
|
|
刘壮虎教授
|
