【公开课】现代逻辑与形式化方法-蔡曙山-标清

2.6万
144
2019-04-09 09:20:20
257
85
1675
127
https://ssvideo.superlib.com/api/video/play/mobile?seriesid=1034&vid=27790&sign=videoplay_faxian&enc=8689fa237e418ac15df876fffdedead8&appId=1000 主讲人:蔡曙山,男,中国社会科学院研究生院哲学博士。现任清华大学心理学系教授,博士生导师。兼任中国人民大学、西南大学等国内多所大学兼职教授,中山大学逻辑与认知研究所
万家墨面没蒿莱,敢有歌吟动地哀。 心事浩茫连广宇,于无声处听惊雷。
视频选集
(1/57)
形式语言和形式系统_1
19:51
形式语言和形式系统_2
18:36
形式语言和形式系统_3
21:30
形式语言和形式系统_4
18:08
形式语言和形式系统_5
17:01
一阶逻辑语言_1
17:33
一阶逻辑语言_2
23:39
一阶逻辑语言_3
18:59
一阶逻辑语言_4
18:12
一阶逻辑语言_5
18:13
一阶逻辑语言_6
23:11
一阶逻辑语言_7
19:37
形式化的命题逻辑_1
18:34
形式化的命题逻辑_2
21:41
形式化的命题逻辑_3
20:38
形式化的命题逻辑_4
19:05
形式化的命题逻辑_5
24:02
演绎定理_1
24:34
演绎定理_2
33:08
演绎定理_3
20:03
演绎定理_4
17:17
演绎定理_5
16:23
一阶语言_1
20:14
一阶语言_2
20:16
一阶语言_3
20:08
一阶语言_4
19:44
一阶语言_5
20:47
自然逻辑推理_1
21:14
自然逻辑推理_2
19:17
自然逻辑推理_3
20:02
自然逻辑推理_4
20:18
一阶逻辑的句法学_1
18:53
一阶逻辑的句法学_2
24:38
一阶逻辑的句法学_3
19:29
一阶逻辑的句法学_4
22:43
模型论_1
18:08
模型论_2
18:08
模型论_3
18:01
模型论_4
23:16
模型论_5
25:20
可靠性、一致性、完全性_1
18:11
可靠性、一致性、完全性_2
19:11
可靠性、一致性、完全性_3
19:55
可靠性、一致性、完全性_4
18:40
可靠性、一致性、完全性_5
20:31
学生讨论_1
20:11
学生讨论_2
22:27
学生讨论_3
18:22
学生讨论_4
18:53
学生讨论_5
18:46
学生讨论_6
18:17
哥德尔定理_1
18:40
哥德尔定理_2
18:37
哥德尔定理_3
20:04
哥德尔定理_4
19:00
哥德尔定理_5
19:05
哥德尔定理_6
18:23
客服
顶部
赛事库 课堂 2021拜年纪