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