Logic Reading Program

Introduction of the Program

“逻辑读书会”由清华大学－阿姆斯特丹大学逻辑学联合研究中心主办，在逻辑学研究中心举行，由肖汉博士主持，分为初级讨论班和进阶讨论班。本读书会面向所有对逻辑学感兴趣的学生与青年学者开放，旨在促进对前沿研究的理解与交流，同时也是锻炼学术表达与讨论能力的平台。

1. 初级讨论班（模型论读书会）

模型论读书会以学生讲解为主，鼓励现场提问与互动，共同探讨学习。时间为每周五13:30—15:00，欢迎所有同学参与，模型论标准课程之外有关逻辑、组合数学、代数等相关的问题同样鼓励提出。参考教材：

• Model Theory with Algebra on the Side, Will Johnson, manuscript, 2025
• 《数理逻辑导引》，冯琦，科学出版社，2017

2. 进阶讨论班

进阶讨论班定位为小范围、主题明确的论文讨论，理解该方向的经典技术或最新进展。时间一般安排在周四或周五下午，可灵活调整。原则上两周一次，若主题合适，将与逻辑学中心的清茶会合并活动。欢迎志愿报名并主持讨论，主题可以是数理逻辑、非经典逻辑、组合数学、理论计算机科学等一切逻辑学相关领域。参考主题（仅作示例，不限定讨论方向）：

• cfi图与多项式时间计算（感谢清华大学杨曦同学提供）
• Skvorcov逻辑与tableau（感谢北京大学王云崧同学提供）
• destructible gaps与力迫
• 空间的模态逻辑等

逻辑学中心致力于营造一个兼具轻松氛围与学术深度的环境，便于大家学习新知识、结识同行与探索新方向。本系列活动由刘奋荣教授、肖汉助理研究员组织。咨询请邮件联系：han_xiao@mail.tsinghua.edu.cn。期待与你在清华逻辑学研究中心相见。