发布时间:2018-10-31 00:00
作者:本站编辑
来源:本站原创
浏览次数:
2018年10月19日晚上7点至9点,2016级博士生王春丽做了关于布尔逻辑理论中“不可解释的表达式”的报告,2016级硕士生张冒玲讲读其最近阅读的一篇题为“Actions that make us know”(Johan van Benthem,2006)的论文。
上一篇: [现代逻辑讨论班]谭雪叶博士生报告:哲学逻辑与人工智能
下一篇: [现代逻辑讨论班]董淑亮硕士生报告:基于有名字世界的联盟逻辑