未来一周数理逻辑活动（04.21-04.27）

1. First-order interpretations as a programming language （北京大学）

    时间：2025/04/21 15:10-18:00

    链接：https://logic.pku.edu.cn/xzdt/zxtz/540766.htm       

2. 南开逻辑讲座第七十四期--Theodore Slaman（南开大学）

    时间：2025/04/22 16:00

    链接：https://mp.weixin.qq.com/s/X2PKHcUP3LS9lRshQGRP6w   

3. 一种形式化相关性的认知逻辑（清华大学）

    时间：2025/04/24 14:00-15:30

    链接：https://mp.weixin.qq.com/s/quiaPI6nW7c_TqxBXRM6HQ 

4.Visualizing the Fixed Point Theorem （南京大学）

5. 带分层直观解释的直觉主义一阶逻辑的S5模态扩展（清华大学）

    时间：2025/04/24 16:00-17:30

    链接：https://mp.weixin.qq.com/s/UIvsNM5NWZY6Q5TfuydQxw   

6. Counting Problems, Partition Functions, Statistical Physics, and Computational Complexity（电子科技大学）

    时间：2025/04/25 16:20-17:20

    链接：https://tcsuestc.com/2025/04/25/counting-problems-partition-functions-statistical-physics-and-computational-complexity/   

了解每周数理逻辑活动，也可发邮件至cml@nankai.edu.cn订阅每周数理逻辑活动通知，或者关注微信公众号：数理逻辑视界