Events

• 2015-01-06 北大逻辑教研室2015年春季学期开设课程 2015-01-06
• 2014-12-15 12月26日邹婷湘报告：同伦类型论简介 2014-12-15
• 2014-12-13 12月16日曹钦翔报告：构建程序的正确性证明 (The logics to establish the correctness of programs) 2014-12-13
• 2014-12-03 12月5日陈星群博士论文答辩 2014-12-03
• 2014-11-28 12月2日张羿教授报告：20世纪几个重要的逻辑学定理 2014-11-28
• 2014-10-31 11月2日刘壮虎教授讲座：概念结构理论 2014-10-31
• 2014-10-20 10月21日阮吉老师讲座：Model Checking Incomplete Information Games in General Game Playing 2014-10-20
• 2014-08-17 2014年秋季逻辑课程 2014-08-17
• 2014-05-28 5月31日：王海若、聂众乐、陈希硕士生答辩通知 2014-05-28
• 2014-05-27 5月31日，赵震论文答辩 2014-05-27
• 2014-05-27 5月30号Dr.Jeremy Seligman讲座：Understanding some pathologies of social epistemology by reasoning about observed behaviour 2014-05-27
• 2014-05-27 5月30日，马丽、傅庆芳论文答辩 2014-05-27
• 2014-05-19 6月4日琚凤魁老师讲座：Trace semantics for propositional dynamic logics 2014-05-19
• 2014-05-18 5月28日Dr. Jeremy Seligman 讲座：1.Secret tweets and network discovery 2.Past, Present and Future: the logic and philosophy of Arthur Prior 2014-05-18
• 2014-05-14 5月21日Prof.Frank Veltman讲座：Gradable adjectives and subjective experience 2014-05-14
• 2014-04-29 5月7日Peter van Emde Boas讲座：Victorious Warriors: searching the games played in the Romance of the three Kingdoms 2014-04-29
• 2014-04-12 4月16日沈榆平老师讲座：Canonical Logic Programs are Succinctly Incomparable with Proposition Formulas 2014-04-12
• 2014-04-07 4月9日蒋运鹏老师讲座：卡尔纳普的第一个构造定义 2014-04-07
• 2014-04-05 4月8日苏开乐老师讲座：Recent Progresses in Local Search for SAT 2014-04-05
• 2014-04-02 4月4日蒋运鹏老师讲座：Talking about the Secret Power 2014-04-02