Events

• 2019-01-08 1月16日逻辑学专业2016级博士开题通知 2019-01-08
• 2019-01-05 1月11日 Guillaume Aucher 博士讲座 A generalized version of van Benthem's theorem for non-classical logics 2019-01-05
• 2018-12-16 12月27日邹婷湘讲座: Types, independence, classification, pseudo-finite fields -- a glimpse into model theory 2018-12-16
• 2018-11-25 12月1日逻辑学专业硕士研究生学位论文开题通知 2018-11-25
• 2018-11-20 12月1日赵晓玉博士学位论文答辩通知 2018-11-20
• 2018-11-15 12月4日王全龙研究员讲座:Categorical Quantum Mechanics and Its Applications 2018-11-15
• 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