逻辑前沿问题（上），周二7-9，三教108，逻辑学全体师生参加
研究生课程，3学时
一阶逻辑，周三10-12，四教407， 邢滔滔
研究生课程，3学时；本研合上
数学结构，周四7-9，四教304，刘壮虎
研究生课程，3学时；本研合上
动态逻辑，周一7-9，四教303，王彦晶
研究生课程，3学时；本研合上
形式语义学，周二5-6/周四5-6，理教315，周北海
研究生课程，3学时；本研合上
——————————————————————————
集合论，周一3-4/周四3-4，四教303，刘壮虎
本科生课程，4学时
——————————————————————————