Introduction to the themes of information, computation, agency, and games in logic.
播放:1358次,课程ID:5602328
Introduction to the themes of information, computation, agency, and games in logic.
--Logic of belief and conditional belief
--Combining logic and probability
--Logical and probabilistic update
--Basic logic of functional dependence
--Extended logics of dependence
--Logics of topological and metric spaces
--Neighborhood logics and forcing powers in games
--Evaluation and comparison games
--Proof games, and logical game algebra
清华大学金岳霖讲席教授、斯坦福大学Henry Waldgrave Stuart教授、荷兰皇家科学院院士、欧洲科学院院士、 国际哲学学院院士。1996年获荷兰国家级斯宾诺莎奖,这是自然科学和社会科学领域的最高奖项。在上世纪90年代,他创建了阿姆斯特丹大学的逻辑、语言与计算研究所(ILLC),并长期指导该研究所的工作。ILLC是当今国际顶尖、规模最大、专门从事逻辑与语言学、计算机科学、认知科学等交叉领域研究的逻辑学研究中心。到目前为止,他撰写了9部专著和约450篇论文,主编了4部具有权威性的逻辑手册,他的著作已被翻译成俄语、西班牙语、汉语等出版,在世界范围内影响广泛。他培养了70名博士研究生、50名硕士研究生,其中有40名博士毕业生已在世界上各国的大学成功获得了永久职位。此外,他还在很多国际组织兼职,任多个重要英文杂志的主编或编委。