未来一周数理逻辑活动（01.06-01.12）

发布者：赵啟皓发布时间：2025-01-06动态浏览次数：15

1. A halting problem, model-checking of ∆0-formulas, and the MRDP Theorem（中山大学）

时间：01/06 15:00

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

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