欢迎来到在线教学平台
问题答疑
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
更多
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
教师登录
学生登录
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
首页 - 课程列表 - 课程详情
返回
逻辑、计算和博弈
课程类型：
选修课
主讲教师：
范丙申
课程来源：
清华大学
建议学分：
3.00分
课程编码：
xtzx0319
课程介绍
课程目录
教师团队
Information and updating knowledge
s
Epistemic logic
（93分钟）
s
Dynamic-epistemic logic
（97分钟）
Belief revision and learning
s
Logic of belief and conditional belief
（89分钟）
s
Belief revision
（85分钟）
Logic and probability
s
Combining logic and probability
（79分钟）
s
Logical and probabilistic update
（86分钟）
Information and dependence
s
Basic logic of functional dependence
（97分钟）
s
Extended logics of dependence
（88分钟）
Topology and logics of space
s
Logics of topological and games
（83分钟）
s
Neighborhood logics and forcing powers in games
（91分钟）
Logics for analyzing games
s
Logics for extensive games
（87分钟）
s
Logics for strategic games
（86分钟）
Games for analyzing logic
s
Evaluation and comparison games
（81分钟）
s
Graph games and logic design
（84分钟）
京公网安备 11011502004263