APP下载
反馈
清华大学公开课:陈为蓬《逻辑学概论》
本课程共81集 未翻译完 欢迎学习

讲师:陈为蓬

课程介绍:陈为蓬,清华大学人文社会科学学院副教授,主要研究方向为自然语言的逻辑。该课程中给出了关于有效推理形式、判定与生成方式的基本方法。 作为面向非逻辑学专业学生的逻辑学概论课,本课程的着眼点不仅仅在于讲授逻辑学中的具体内容,而更致力于使学生了解逻辑学的基本思路、准则和方法。

立即播放
用手机看
课程免费缓存,随时观看~
扫码下载网易公开课APP
收藏
课程列表
【第2集】清华大学陈为蓬《逻辑学概论》课程:推理和推理形式1.2
【第3集】清华大学陈为蓬《逻辑学概论》课程:有效推理形式1.3
【第4集】清华大学陈为蓬《逻辑学概论》课程:逻辑学的特点1.4
【第5集】清华大学陈为蓬《逻辑学概论》课程:逻辑学的基本准则1.5
【第6集】清华大学陈为蓬《逻辑学概论》课程:逻辑学和其他学科的关系1.6
【第8集】清华大学陈为蓬《逻辑学概论》课程:中国古代逻辑思想(上)1.8
【第9集】清华大学陈为蓬《逻辑学概论》课程:中国古代逻辑思想(中)2.2
【第10集】清华大学陈为蓬《逻辑学概论》课程:中国古代逻辑学思想(下)2.3
【第11集】清华大学陈为蓬《逻辑学概论》课程:印度古代逻辑2.4
【第12集】清华大学陈为蓬《逻辑学概论》课程:古希腊和中世纪逻辑2.5
【第13集】清华大学陈为蓬《逻辑学概论》课程:近代西方逻辑2.6
【第14集】清华大学陈为蓬《逻辑学概论》课程:数理逻辑的提出和实现2.7
【第15集】清华大学陈为蓬《逻辑学概论》课程:数理逻辑的发展2.8
【第16集】清华大学陈为蓬《逻辑学概论》课程:推理和命题3.1
【第17集】清华大学陈为蓬《逻辑学概论》课程:基本命题和复合命题3.2
【第18集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(1)3.3
【第19集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(2)3.4
【第20集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(3)3.5
【第21集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(4)3.6
【第22集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(5)3.7
【第23集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(6)3.8
【第24集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(7)3.9
【第25集】清华大学陈为蓬《逻辑学概论》课程:重言式、矛盾式和可满足式4.1
【第26集】清华大学陈为蓬《逻辑学概论》课程:具体推理转换为推理形式4.2
【第27集】清华大学陈为蓬《逻辑学概论》课程:推理形式转换为复合命题形式4.3
【第28集】清华大学陈为蓬《逻辑学概论》课程:有效形式的判定:真值表法4.4
【第29集】清华大学陈为蓬《逻辑学概论》课程:有效形式的判定:归谬赋值法4.5
【第30集】清华大学陈为蓬《逻辑学概论》课程:命题联结词:真值函数5.1
【第31集】清华大学陈为蓬《逻辑学概论》课程:析取范式5.2
【第32集】清华大学陈为蓬《逻辑学概论》课程:为复合命题形式作与之等值的析取范式5.3
【第33集】清华大学陈为蓬《逻辑学概论》课程:合取范式5.4
【第34集】清华大学陈为蓬《逻辑学概论》课程:范式存在定理5.5
【第35集】清华大学陈为蓬《逻辑学概论》课程:命题联结词的充足集5.6
【第36集】清华大学陈为蓬《逻辑学概论》课程:命题联结词的独元充足集5.7
【第37集】清华大学陈为蓬《逻辑学概论》课程:公理系统的构成6.1
【第38集】清华大学陈为蓬《逻辑学概论》课程:命题演算的公理系统L6.2
【第39集】清华大学陈为蓬《逻辑学概论》课程:命题演算中公理系统L中的证明6.3
【第40集】清华大学陈为蓬《逻辑学概论》课程:命题演算中公理系统L中的证明(续)6.4
【第41集】清华大学陈为蓬《逻辑学概论》课程:命题演算的公理系统L中的推演6.5
【第42集】清华大学陈为蓬《逻辑学概论》课程:公理系统出发点的延伸7.1
【第43集】清华大学陈为蓬《逻辑学概论》课程:公理系统的评价7.2
【第44集】清华大学陈为蓬《逻辑学概论》课程:公理系统的性质和评价及其意义7.3
【第45集】清华大学陈为蓬《逻辑学概论》课程:命题演算的自然演绎系统7.4
【第46集】清华大学陈为蓬《逻辑学概论》课程:命题演算中的自然演绎系统的证明和推理7.5
【第47集】清华大学陈为蓬《逻辑学概论》课程:基本命题的结构8.1
【第48集】清华大学陈为蓬《逻辑学概论》课程:词项的内涵和外延8.2
【第49集】清华大学陈为蓬《逻辑学概论》课程:词项的种类8.3
【第50集】清华大学陈为蓬《逻辑学概论》课程:词项间的关系8.4
【第51集】清华大学陈为蓬《逻辑学概论》课程:词项的定义8.5
【第52集】清华大学陈为蓬《逻辑学概论》课程:词项的划分8.6
【第53集】清华大学陈为蓬《逻辑学概论》课程:谓词的分类8.7
【第54集】清华大学陈为蓬《逻辑学概论》课程:量词8.8
【第55集】清华大学陈为蓬《逻辑学概论》课程:连词8.9
【第56集】清华大学陈为蓬《逻辑学概论》课程:基本命题的推理9.1
【第57集】清华大学陈为蓬《逻辑学概论》课程:传统逻辑对基本命题的分析9.2
【第58集】清华大学陈为蓬《逻辑学概论》课程:性质命题中主、谓词的周延9.3
【第59集】清华大学陈为蓬《逻辑学概论》课程:命题变形的推理9.4
【第60集】清华大学陈为蓬《逻辑学概论》课程:根据对当关系的推理9.5
【第61集】清华大学陈为蓬《逻辑学概论》课程:三段论9.6
【第62集】清华大学陈为蓬《逻辑学概论》课程:三段论的式与格9.7
【第63集】清华大学陈为蓬《逻辑学概论》课程:有效三段论的判定9.8
【第64集】清华大学陈为蓬《逻辑学概论》课程:性质命题10.1
【第65集】清华大学陈为蓬《逻辑学概论》课程:主词非空的预设10.2
【第66集】清华大学陈为蓬《逻辑学概论》课程:关系命题的结构10.3
【第67集】清华大学陈为蓬《逻辑学概论》课程:关系命题根据量词的推理10.4
【第68集】清华大学陈为蓬《逻辑学概论》课程:关系命题根据谓词性质的推理方法10.5
【第69集】清华大学陈为蓬《逻辑学概论》课程:谓词演算简介10.6
【第70集】清华大学陈为蓬《逻辑学概论》课程:非经典(非标准)逻辑11.1
【第71集】清华大学陈为蓬《逻辑学概论》课程:多值逻辑11.2
【第72集】清华大学陈为蓬《逻辑学概论》课程:模糊逻辑11.3
【第73集】清华大学陈为蓬《逻辑学概论》课程:模态逻辑11.4
【第74集】清华大学陈为蓬《逻辑学概论》课程:规范逻辑11.5
【第75集】清华大学陈为蓬《逻辑学概论》课程:时态逻辑11.6
【第76集】清华大学陈为蓬《逻辑学概论》课程:弗协调逻辑11.7
【第77集】清华大学陈为蓬《逻辑学概论》课程:演绎和规划12.1
【第78集】清华大学陈为蓬《逻辑学概论》课程:探求因果关系的逻辑方法12.2
【第79集】清华大学陈为蓬《逻辑学概论》课程:论证和反驳12.3
【第80集】清华大学陈为蓬《逻辑学概论》课程:悖论12.4
【第81集】清华大学陈为蓬《逻辑学概论》课程:本课程回顾12.5
查看全部课程
相关推荐
02:05
张雪峰老师:浙江大学是非常诡异的
2269播放
01:10
小学题目那么难,据说清华大学教授也...
4207播放
26:57
10盛强 数据时代的空间分析与设计...
2446播放
29:37
清华大学教授刘嘉最新演讲,建议反复...
4.3万播放
00:19
施一公:把钱当作目标全完蛋,回国只...
4559播放
06:19
清华大学和 1000万你会如何选?...
2288播放
01:57
清华大学|感恩遇见 谢谢惦念
1803播放
11:43
南开大学人的宣言-人,要认识你自己...
4018播放
05:57
北京大学教师代表刘忠范在北京大学2...
4487播放
12:01
山东大学中国与西方文明的结构性比较...
2062播放