欢迎申请直博或者博士位置

招生方向:模态逻辑和人工智能逻辑

本学期的知识逻辑课

每周三 79 地点:316

Delta Workshop on Sept. 8th @PKU

详情请见网页

科普讲座:知识的逻辑——从哲学到人工智能

Slides请见这里

下学期的高级模态逻辑课

上课时间为周二3-4 以及周四3-4 (10:10-12:00),地点是文史楼205。

I will be teaching at NASLLI18

Beyond "knowing that": a new generation of epistemic logics

The course materials will be updated here:

http://www.phil.pku.edu.cn/personal/wangyj/NASSLLI18

I can tell you much more than in the previous
ESSLLI15 course.

Colin McLarty教授数学哲学讲座材料(持续更新)

Outline

Introduction
Slides

Lecture 1

Lecture 2

Lecture 3

Lecture 4

Lecture 5

Lecture 6

Lecture 7

Lecture 8

其他信息请见:
www.fengkuiju.me/philmath

A mini workshop on Dec. 23rd

视频

曹钦翔Coq讲座的材料(视频上线)

下载

通知见:
https://www.phil.pku.edu.cn/cllct/ann_content.php?msgid=795

视频:

http://v.youku.com/v_show/id_XMzIzOTkyMDI4NA==.html?spm=a2h3j.8428770.3416059.1
http://v.youku.com/v_show/id_XMzIzOTkxOTc1Ng==.html?spm=a2h3j.8428770.3416059.1 (最后一段没录上)
http://v.youku.com/v_show/id_XMzIzOTkyMDIyOA==.html?spm=a2h3j.8428770.3416059.1

感谢徐超同学制作并上传

一个“老改犯”的自白:学术论文的写作与修改

2017年现代逻辑会上做的教育环节报告(Slides

范畴论和量子逻辑的小课程视频已上传

请见这里

欢迎大家观看和传播。

感谢刘佶鑫同学的录像和压制。

范畴论课程信息

量子逻辑课程信息