逻辑、计算和博弈

逻辑、计算和博弈课程简介：前往报名学习

逻辑、计算和博弈课程简介：

Introduction to the themes of information, computation, agency, and games in logic.

前往报名学习

逻辑、计算和博弈课程目录：

Information and updating knowledge

--Epistemic logic

--Dynamic-epistemic logic

Belief revision and learning

--Logic of belief and conditional belief

--Belief revision

Logic and probability

--Combining logic and probability

--Logical and probabilistic update

Information and dependence

--Basic logic of functional dependence

--Extended logics of dependence

Topology and logics of space

--Logics of topological and metric spaces

--Neighborhood logics and forcing powers in games

Logics for analyzing games

--Logics for extensive games

--Logics for strategic games

Games for analyzing logic

--Evaluation and comparison games

--Proof games, and logical game algebra

Logics and game design

--Graph games and logic design

--Concluding Session/Student Presentations

逻辑、计算和博弈授课教师：

范丙申-金岳霖讲席教授-清华大学-人文学院哲学系

清华大学金岳霖讲席教授、斯坦福大学Henry Waldgrave Stuart教授、荷兰皇家科学院院士、欧洲科学院院士、 国际哲学学院院士。1996年获荷兰国家级斯宾诺莎奖，这是自然科学和社会科学领域的最高奖项。在上世纪90年代，他创建了阿姆斯特丹大学的逻辑、语言与计算研究所（ILLC），并长期指导该研究所的工作。ILLC是当今国际顶尖、规模最大、专门从事逻辑与语言学、计算机科学、认知科学等交叉领域研究的逻辑学研究中心。到目前为止，他撰写了9部专著和约450篇论文，主编了4部具有权威性的逻辑手册，他的著作已被翻译成俄语、西班牙语、汉语等出版，在世界范围内影响广泛。他培养了70名博士研究生、50名硕士研究生，其中有40名博士毕业生已在世界上各国的大学成功获得了永久职位。此外，他还在很多国际组织兼职，任多个重要英文杂志的主编或编委。