[现代逻辑讨论班]硕士生何森洋：通过辛提卡集（Hintikka set)证明完全性

2024-12-09

---

[现代逻辑讨论班]博士生郑怡：关于知识的逻辑研究

2024-12-09

---

[现代逻辑讨论班]博士生单成：一阶模态逻辑

2024-11-25

---

[现代逻辑讨论班]博士生韩琳琳：如何证明一个逻辑的简洁性

2024-11-25

---

[现代逻辑讨论班]博士生孙晴：行动模型逻辑

2024-11-07

---

[现代逻辑讨论班]硕士生张锟：自由选择悖论

2024-10-28

---

[现代逻辑讨论班]博士生潘易欣：如何证明一个逻辑的不完全性

2024-10-14

---

[新生见面会] 中心举行2024级研究生师生见面会

2024-09-11

---

[户外团建]中心举办“扬帆启航日，智慧传承时”户外活动

2024-06-25

---

[户外团建]中心举办“桑果盈手 羽战激昂”团建活动

2024-04-30

---