日期：2024年5月31日（周五）

地点：李兆基人文学苑2号楼106室

 

时间：9:40-10:30

答辩人：刘彬

论文题目：基于分布式知识的群体知道如何逻辑

主席：刘壮虎

委员：邢滔滔，钟盛阳，丁一峰，姚博凯

秘书：邓徐冰

 

时间：10:30-11:20

答辩人：阮立清

论文题目：循环时间逻辑

主席：刘壮虎

委员：邢滔滔，王彦晶，钟盛阳，姚博凯

秘书：邓徐冰

 

时间：14:00-14:50

答辩人：刘冠群

论文题目：“哥德尔析取”和彭罗斯论证及其证明

主席：刘壮虎

委员：王彦晶，钟盛阳，丁一峰，姚博凯

秘书：邓徐冰

 

时间：14:50-15:40

答辩人：王林峰

论文题目：论素朴概括公理

主席：刘壮虎

委员：王彦晶，钟盛阳，丁一峰，姚博凯

秘书：邓徐冰