逻辑学导论【全76讲】【北京大学】【国家级精品课】
合集 · 【数 学】 (22)
-
微积分【全184讲】【浙江大学】苏德矿【国家级精品课】
142:01:38
-
数值计算方法【全65讲】【含资料】【中国石油大学(华东)】【国家级精品课】
14:25:21
-
数学竞赛选讲【全138讲】【西安交通大学】【国家级精品课】
12:43:08
-
符号计算语言Mathematica【含资料】【中国科学技术大学】【全48讲】
9:20:07
-
数值计算与程序实现【全34讲】【含资料】【临沂大学】【国家级精品课】
6:05:16
-
复变函数【含资料】【西安交通大学】【全68讲】【国家级精品课】
12:25:30
-
逻辑学导论【全76讲】【北京大学】【国家级精品课】
21:01:03
-
复变函数与积分变换【含资料】【东北大学】【全67讲】【国家级精品课】
11:54:27
-
应用随机过程【含资料】【北京交通大学】【全47讲】【国家级精品课】
12:39:23
-
【数学】数学之美 — 文明之光(全两讲)—主讲人:吴军博士 杨早博士
41:16
-
【张益唐】寄语韦神|我回来,不仅是一片落叶 专访数学家张益唐
26:27
-
【华中农业大学】数学文化欣赏【全58讲】
10:44:24
-
【中国海洋大学】数学思想与文化【全43讲】
7:19:08
-
【丘成桐】数学与人文【全两讲】
39:57
-
【数学 • 文化】蔡天新:携数字和玫瑰去旅行(全两讲)
40:34
-
浅谈科学计算
57:56
-
【大数据】大数据近似计算(主讲人:马帅)
1:00:47
-
【EXCEL】VLOOKUP 函数的几种常见用法
1:46:43
-
【哈尔滨工业大学】微积分与工科专业【全46讲】
9:17:21
-
高性能FPGA数字处理技术【全43讲】【北京理工大学】
8:25:09
-
【浙江大学】数字化生存【全6集】
4:15:30
-
统计学【全53讲】【国家级精品课】
10:47:01
Parts
- P1 · 1.1.1 课程简介
- P2 · 1.2.1 逻辑的研究对象:推理与论证
- P3 · 1.2.2 逻辑的研究对象:推理与论证
- P4 · 1.3.1 推理、推理形式及其有效性
- P5 · 1.3.2 推理、推理形式及其有效性
- P6 · 1.3.3 推理、推理形式及其有效性
- P7 · 1.4.1 论证的结构及其作用
- P8 · 1.4.2 论证的结构及其作用
- P9 · 1.5.1 同一律、矛盾律、排中律和二值原则
- P10 · 1.5.2 同一律、矛盾律、排中律和二值原则
- P11 · 1.5.3 同一律、矛盾律、排中律和二值原则
- P12 · 1.5.4 同一律、矛盾律、排中律和二值原则
- P13 · 1.5.5 同一律、矛盾律、排中律和二值原则
- P14 · 1.6.1 充足理由律
- P15 · 2.1.1 日常联结词与复合命题
- P16 · 2.1.2 日常联结词与复合命题
- P17 · 2.2.1 从日常联结词到真值联结词
- P18 · 2.2.2 从日常联结词到真值联结词
- P19 · 2.2.3 从日常联结词到真值联结词
- P20 · 2.2.4 从日常联结词到真值联结词
- P21 · 2.3.1 日常语言中复合命题的符号化
- P22 · 3.1.1 重言式及其判定方法
- P23 · 3.1.2 重言式及其判定方法
- P24 · 3.1.3 重言式及其判定方法
- P25 · 3.1.4 重言式及其判定方法
- P26 · 3.2.1 重言蕴涵式、重言等值式
- P27 · 3.2.2 重言蕴涵式、重言等值式
- P28 · 4.1.1 命题逻辑的自然推演
- P29 · 4.2.1 PN推演方法
- P30 · 4.2.2 PN推演方法
- P31 · 4.2.3 PN推演方法
- P32 · 4.2.4 PN推演方法
- P33 · 4.3.1 PN有前提推演
- P34 · 4.4.1 PN推演总结
- P35 · 5.1.1 直言命题
- P36 · 5.1.2 直言命题
- P37 · 5.1.3 直言命题
- P38 · 5.2.1 直接推理
- P39 · 5.2.2 直接推理
- P40 · 5.3.1 三段论
- P41 · 6.1.1 三段论的规则
- P42 · 6.1.2 三段论的规则
- P43 · 6.1.3 三段论的规则
- P44 · 6.2.1 三段论的非标准形式
- P45 · 6.3.1 直言命题的存在含义问题
- P46 · 6.4.1 用文恩图判定三段论的有效性
- P47 · 7.1.1 一阶语言
- P48 · 7.1.2 一阶语言
- P49 · 7.2.1 自然语言中性质命题的符号化
- P50 · 7.3.1 自然语言中关系命题的符号化
- P51 · 7.4.1 模型和赋值
- P52 · 7.4.2 模型和赋值
- P53 · 7.5.1 树形图方法判别有效式
- P54 · 7.5.2 树形图方法判别有效式
- P55 · 7.5.3 树形图方法判别有效式
- P56 · 7.5.4 树形图方法判别有效式
- P57 · 8.1.1 解释方法
- P58 · 8.2.1 谓词逻辑的自然推演
- P59 · 8.2.2 谓词逻辑的自然推演
- P60 · 8.3.1 QN定理证明
- P61 · 8.3.2 QN定理证明
- P62 · 8.3.3 QN定理证明
- P63 · 8.4.1 QN有前提推演
- P64 · 8.5.1 QN推演总结
- P65 · 9.1.1 归纳逻辑概述
- P66 · 9.1.2 归纳逻辑概述
- P67 · 9.2.1 求因果联系五法
- P68 · 9.2.2 求因果联系五法
- P69 · 9.2.3 求因果联系五法
- P70 · 9.3.1 类比推理、模拟、比较
- P71 · 9.3.2 类比推理、模拟、比较
- P72 · 9.3.3 类比推理、模拟、比较
- P73 · 9.4.1 假说演绎法
- P74 · 9.4.2 假说演绎法
- P75 · 9.4.3 假说演绎法
- P76 · 9.5.1 休谟的归纳问题:归纳方法是合理的吗
Description
参考资料: 【课程教材】: 陈波:《逻辑学导论》(第三版),中国人民大学出版社,2014年。 陈波主编:《逻辑学读本》,中国人民大学出版社,2009年。 陈波等编著:《〈逻辑学导论〉(第二版)教学辅导书》,中国人民大学出版社,2006年。 【参考书目】: 柯比著:《逻辑学导论》,张建军等译,中国人民大学出版社,2008年。 赫尔利著:《简明逻辑导论》,陈波等译,世界图书出版公司,2010年。 罗·蒂德曼、霍华德·卡哈尼著:《逻辑与哲学:现代逻辑导论》,张建军等译,中国人民大学出版社,2017。 尼尔·布郎、斯图尔特·基利:《走出思维的误区》,中央编译出版社,1994年。 金岳霖主编:《形式逻辑》,人民出版社,1979年。 周礼全主编:《逻辑—正确思维和成功交际的理论》,人民出版社,1994年。 吴家国主编:《普通逻辑》(第四版),上海人民出版社,1993年。 陈 波:《逻辑学是什么》,第二版,北京大学出版社,2015年。 陈 波:《逻辑学十五讲》,北京大学出版社,2008年。 陈 波:《逻辑哲学》,北京大学出版社,2005年。 陈 波:《思维魔方,让哲学家和数学家纠结的悖论》,北京大学出版社,2014。
Comments
[星星眼]
♥ 1