欢迎来到在线教学平台
问题答疑
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
更多
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
扫码下载Android
扫码下载iOS
教师登录
学生登录
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
教师登录
学生登录
首页 - 课程列表 - 课程详情
返回
逻辑、计算和博弈
课程类型：
选修课
主讲教师：
范丙申
建议学分：
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分钟）
