现代逻辑与形式化方法 蔡曙山 清华大学

4570
6
2017-10-07 22:55:45
39
9
483
31
http://video.chaoxing.com/serie_400001034.shtml 形式化方法在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构。
个人群672294761,欢迎来玩啊~
视频选集
(1/13)
20106
18:34
20107
18:01
20108
24:07
20109
19:27
20110
18:40
20111
18:41
20117
17:45
20682
22:10
20684
19:33
27791
19:04
27792
21:59
27793
18:37
27794
17:30
客服
顶部
赛事库 课堂 2021拜年纪