2021秋季学期开设课程
发布日期：2021-02-27 作者：
| 课 程 号 |
课 程 名 |
课 程 类 型 |
学时 |
学分 |
上 课 时 间 |
地 点 |
任课教师 |
备注 |
|
02315271
|
逻辑前沿问题（上） |
研究生课程（逻辑专业必修） |
3 |
3 |
周二 7-9 |
二教422
|
|
逻辑专业全体师生
|
|
02315170
|
一阶逻辑
|
研究生课程（逻辑专业必修）
|
3 |
3 |
周三 10-12节
|
地学307
|
邢滔滔 |
本研合上
|
|
02315250
|
数学结构 |
研究生课程（逻辑专业必修）
|
3 |
3 |
周四 7-9节
|
三教203
|
钟盛阳 |
本研合上 |
|
02315151
|
逻辑与论证
|
本科生课程（必修）
|
3 |
3 |
周四 7-9节 |
理教310
|
邢滔滔 |
本研合上 |
|
02315310
|
模态逻辑
|
研究生课程（选修）
|
3 |
3 |
周三 7-9节
|
一教103
|
周北海 |
本研合上 |
|
02315320
|
知识的逻辑 |
研究生课程（选修）
|
3 |
3 |
周三 7-9节 |
地学110
|
王彦晶 |
本研合上 |
|
02315410
|
计算机科学的哲学
|
研究生课程（选修）
|
3 |
3 |
周五 7-9节
|
二教529
|
Ramaswamy
Ramanujam
|
外教英文授课。详情可咨询王彦晶老师
|
