| 课 程 号 | 课 程 名 | 课 程 类 型 | 学时 | 学分 | 上 课 时 间 | 地 点 | 任课教师 | 备注 |
|---|---|---|---|---|---|---|---|---|
|
02335271 |
逻辑前沿问题（上） | 研究生课程（逻辑专业必修） | 3 | 3 | 周二 7-9 | 理教 211 |
逻辑专业全体师生 |
|
|
02313580 |
哲学研究与写作 | 研究生课程（逻辑专业必修） | 1 | 1 | 周二 3-4 | 四教 407 | 王彦晶 |
9-16周上课 限逻辑学及相关专业研究生 |
|
02315170 |
一阶逻辑 | 研究生课程（逻辑专业必修） | 3 | 3 | 周三 10-12 | 一教 104 | 邢滔滔 | 本研合上 |
|
02315250 |
数学结构 | 研究生课程（逻辑专业必修） | 3 | 3 | 周一 7-9 | 二教 501 | 钟盛阳 | 本研合上 |
|
02336401 |
逻辑与论证 | 本科生课程（必修） | 3 | 3 | 周四 7-9 | 理教 313 | 邢滔滔 | 本研合上 |
|
02315310 |
模态逻辑 | 研究生课程（选修） | 3 | 3 |
周一 3-4 周三 3-4（双周） |
二教 313 | 丁一峰 | 本研合上 |
|
02315240 |
数学哲学 | 研究生课程（选修） | 3 | 3 | 周四 10-12 | 理教 414 | 姚博凯 | 本研合上 |
|
02315032 |
可计算理论基础 | 本科生课程（选修） | 2 | 2 | 周一 5-6 | 二教 424 | 丁一峰 |
本研合上，与方楠老师合上 |
北京国际数学研究中心的Kyle Gannon老师在数学科学学院开设《逻辑专题II》（On Limit Structures），课号00104761，3学时3学分，周二7-8、周四5-6(单周)，二教106，本研合上。简介如下：
Given a class of structures (groups, graphs, fields), how does one construct a single object which (morally) encompasses the combinatorial and algebraic complexity of the class? Such objects--which we refer to as limit structures--function as auxiliary tools for analyzing the class. Often, analysis of the limit structure gives new insights about the original class of structures (and vice versa). This course will focus on three constructions: Fraïssé limits, which provide a universal homogeneous structure for a given class; ultraproducts, a powerful model-theoretic technique for building new structures from old ones; and 0-1 laws, which use the asymptotic probabilistic behavior of finite structures to implicitly define infinite objects. No background in logic is assumed.