课 程 号	课 程 名	课 程 类 型	学时	学分	上 课 时 间	地 点	任课教师	备注
02315271	逻辑前沿问题（上）	研究生课程（逻辑专业必修）	3	3	周二 7-9	二教411		逻辑专业全体师生
02315170	一阶逻辑	研究生课程（逻辑专业必修）	3	3	周一 7-9	三教505	钟盛阳	本研合上
02336401	逻辑与论证	本科生课程（必修）	3	3	周四 7-9	理教410	邢滔滔	本研合上
02315320	知识的逻辑	研究生课程（选修）	3	3	周三 7-9	文史107	王彦晶	本研合上
02315310	模态逻辑	研究生课程（选修）	3	3	周三 7-9	二教309	丁一峰	本研合上
02315011	集合论专题	研究生课程（选修）	2	2	周四 7-8	地学202	姚博凯	本研合上

 

北京国际数学研究中心的Kyle Gannon老师在数学科学学院开设《数理逻辑》（课号: 00130730），3学时3学分，周一 7-9，三教103，本研合上。简介如下： 

Mathematical Logic is the study of mathematics applied to itself. In this course, we make precise the notions of proof, truth, computation, and sets, which are reflected in the four main branches of the field: proof theory, model theory, recursion theory, and axiomatic set theory. 

After developing the framework of first-order logic, we explore fundamental results in the field, including the undecidability of the Halting Problem, Tarski's undefinability of truth, and Gödel's incompleteness theorems. Time permitting, we will also introduce the basic ideas of forcing and the independence of the Continuum Hypothesis.