逻辑前沿问题（上），周二7-9，理教417，逻辑学全体师生参加，研究生课程，3学时

一阶逻辑，周三7-9，国关C210，邢滔滔，研究生课程，3学时，本研合上，2017硕士生必修

数学结构，周四7-9，一教303，刘壮虎，研究生课程，3学时，本研合上，2016硕士生必修，博士生选修

逻辑与论证，周四7-8/周五3-4（单周），理教313，邢滔滔，本研合上，3学时，2017本科生必修

语言、逻辑与计算，周二3-4，三教508，王彦晶，研究生课程，2学时，本研合上，与外援胡旭辉、计算机所孙薇薇老师合开

模态逻辑，周二3-4/周三3-4，理教210，周北海，4学时，本研合上

悖论研究，周一5-6（双周）/周三5-6，理教309，陈波，研究生课程，3学时，本研合上

集合论，周一3-4/周四3-4，理教404，本科生课程，4学时

逻辑导论，周三10-12，二教107，陈波，全校通选课，3学时