“逻辑读书会”由清华大学－阿姆斯特丹大学逻辑学联合研究中心主办，在逻辑学研究中心举行，由肖汉主持，分为初级讨论班和进阶讨论班。本读书会面向所有对逻辑学感兴趣的学生与青年学者开放，旨在促进对前沿研究的理解与交流，同时也是锻炼学术表达与讨论能力的平台。
模型论读书会以学生讲解为主，鼓励现场提问与互动，共同探讨学习。时间为每周五13:30—15:00，欢迎所有同学参与，模型论标准课程之外有关逻辑、组合数学、代数等相关的问题同样鼓励提出。
-
Model Theory with Algebra on the Side, Will Johnson, manuscript, 2025
-
第一次模型论读书会将于2025年11月14日（周五）在逻辑学中心举办。
进阶讨论班定位为小范围、主题明确的论文讨论，理解该方向的经典技术或最新进展。时间一般安排在周四或周五下午，可灵活调整。原则上两周一次，若主题合适，将与逻辑学中心的清茶会合并活动。欢迎志愿报名并主持讨论，主题可以是数理逻辑、非经典逻辑、组合数学、理论计算机科学等一切逻辑学相关领域。
-
cfi图与多项式时间计算（感谢清华大学杨曦同学提供）
-
Skvorcov逻辑与tableau（感谢北京大学王云崧同学提供）
第一次进阶读书会将于2025年11月20日（周四）14:00-15:30在逻辑学中心举行，由杨曦同学带领研读Benjamin Rossman的模型论与理论计算机科学领域经典论文Homomorphism Preservation Theorems。报名截止时间为2025年11月19日。请有意参加的同学邮件联系han_xiao@mail.tsinghua.edu.cn。
逻辑学中心致力于营造一个兼具轻松氛围与学术深度的环境，便于大家学习新知识、结识同行与探索新方向。
本系列活动由刘奋荣教授、肖汉助理研究员组织。咨询请邮件联系：han_xiao@mail.tsinghua.edu.cn。期待与你在清华逻辑学研究中心相见。
关注我们，及时获取更多关于清华-阿姆斯特丹逻辑学联合研究中心的研究成果、科研教学活动、前沿问题研究进展及其他相关资讯。
由于微信公众号改版，未星标很容易错过
全胜中心新鲜出炉的优质内容以及课程、实践和资源哦 ~
本文转载自公众号“水木逻辑”
