Events

• 2018-10-29 11月13日吴刘臻博士讲座：作为数学研究对象的选择公理 2018-10-29
• 2018-10-09 10月16日Kamal Lodaya教授讲座Relating logic to formal languages 2018-10-09
• 2018-09-27 Frank J?kel教授讲座Concepts and Categories: Combining Insights from Machine Learning and Experimental Psychology 2018-09-27
• 2018-09-21 9月25日Frank J?kel教授讲座Computation as a foundation for cognitive science 2018-09-21
• 2018-09-18 北大逻辑教研室2018年秋季学期开设课程 2018-09-18
• 2018-09-14 Prof. Frank J?kel 918讲座 Bayesian Reverse-Engineering of Perception and Cognition 2018-09-14
• 2018-08-01 Colin McLarty系列讲座：Type Theories From Frege To Homotopy Type Theory 2018-08-01
• 2018-06-19 6月26日逻辑学专业博士研究生学位论文开题通知 2018-06-19
• 2018-06-19 6月26日逻辑学专业博士研究生预答辩通知 2018-06-19
• 2018-05-17 5月25日朱薇、李楷博士学位论文答辩 2018-05-17
• 2018-05-16 5月25日丛孟晗、周舟航学士学位论文答辩 2018-05-16
• 2018-05-16 5月25日苏兴池硕士学位论文答辩 2018-05-16
• 2018-05-11 5月15日邱仁宗教授讲座：哲学如何改变世界？——以阻止人类头颅移植为例 2018-05-11
• 2018-04-11 4月17日蔡少伟教授讲座：Improving local search for SAT via programming by optimization 2018-04-11
• 2018-03-20 3月27日谷振诣教授报告：中国古代哲学的“逻辑” 2018-03-20
• 2018-02-28 3月13日Goranko教授讲座：Interval-based temporal logics: an overview 2018-02-28
• 2018-02-27 北大逻辑教研室2018年春季学期开设课程 2018-02-27
• 2018-01-10 1月13日逻辑学专业硕士研究生学位论文开题通知 2018-01-10
• 2018-01-07 1月13日逻辑学专业博士研究生预答辩通知 2018-01-07
• 2018-01-06 1月13日2016级逻辑学博士研究生综合考试通知 2018-01-06