逻辑、计算和博弈课程：前往报名学习
Introduction to the themes of information, computation, agency, and games in logic.
开设学校：清华大学；学科：哲学、
Introduction to the themes of information, computation, agency, and games in logic.
-Epistemic logic
--Week 1
-Dynamic-epistemic logic
--Week 2
-HW 1
-讨论
-Logic of belief and conditional belief
--week 3
-Belief revision
--week 4
-讨论
-HW 2
-Combining logic and probability
--week 5
-Logical and probabilistic update
--week 6
-HW 3
-讨论
-Basic logic of functional dependence
--Week 7
-Extended logics of dependence
--Week 8
-HW 4
-讨论
-Logics of topological and games
--Week 9
-Neighborhood logics and forcing powers in games
--Week 10
-HW 5
-讨论
-Logics for extensive games
--Week 11
-Logics for strategic games
--Week 12
-HW 6
-讨论
-Evaluation and comparison games
--Week 13
-Graph games and logic design
--Week 14
-HW 7
-讨论
-Final Exam
范丙申，清华大学金岳霖讲席教授， 阿姆斯特丹大学荣誉教授 ，斯坦福大学Henry Waldgrave Stuart教授。阿姆斯特丹大学逻辑、语言和计算研究所创立者， 清华大学-阿姆斯特丹大学逻辑学联合中心联席主任。欧洲逻辑、语言和信息协会首届主席和荣誉成员。 荷兰国家级斯宾诺莎奖获得者，荷兰皇家艺术与科学院院士、欧洲科学院院士、 国际哲学学院院士，美国艺术与科学学院。
