更多
讲座回顾 | 张燕京:弗雷格的真之理论
2024-10-28
讲座回顾 | 蔡曙山:逻辑、人类心智与人工智能
2024-09-28
讲座回顾 | 刘虎:信念的概率模型
2024-09-25
讲座回顾 | 王彦晶:知识三段论
2024-06-14
讲座回顾 | 王轶:胡话的逻辑分析
2024-06-11
[现代逻辑讨论班]博士生单成:一阶模态逻辑
2024-11-25
[现代逻辑讨论班]博士生韩琳琳:如何证明一个逻辑的简洁性
2024-11-25
[现代逻辑讨论班]博士生孙晴:行动模型逻辑
2024-11-07
[现代逻辑讨论班]硕士生张锟:自由选择悖论(The Paradox of Free Choice)
2024-10-28
[现代逻辑讨论班]博士生潘易欣:如何证明一个逻辑的不完全性报告回顾
2024-10-14
在读硕士研究生名单
2021-09-14
在读博士研究生名单
2021-12-28
出站博士后
2018-04-24
历届硕士研究生名单
2021-06-29
历届博士研究生名单
2021-06-29