逻辑学导论【全76讲】【北京大学】【国家级精品课】

合集 · 【数 学】 (22)

  1. 142:01:38
    微积分【全184讲】【浙江大学】苏德矿【国家级精品课】
  2. 14:25:21
    数值计算方法【全65讲】【含资料】【中国石油大学(华东)】【国家级精品课】
  3. 12:43:08
    数学竞赛选讲【全138讲】【西安交通大学】【国家级精品课】
  4. 9:20:07
    符号计算语言Mathematica【含资料】【中国科学技术大学】【全48讲】
  5. 6:05:16
    数值计算与程序实现【全34讲】【含资料】【临沂大学】【国家级精品课】
  6. 12:25:30
    复变函数【含资料】【西安交通大学】【全68讲】【国家级精品课】
  7. 21:01:03
    逻辑学导论【全76讲】【北京大学】【国家级精品课】
  8. 11:54:27
    复变函数与积分变换【含资料】【东北大学】【全67讲】【国家级精品课】
  9. 12:39:23
    应用随机过程【含资料】【北京交通大学】【全47讲】【国家级精品课】
  10. 41:16
    【数学】数学之美 — 文明之光(全两讲)—主讲人:吴军博士 杨早博士
  11. 26:27
    【张益唐】寄语韦神|我回来,不仅是一片落叶 专访数学家张益唐
  12. 10:44:24
    【华中农业大学】数学文化欣赏【全58讲】
  13. 7:19:08
    【中国海洋大学】数学思想与文化【全43讲】
  14. 39:57
    【丘成桐】数学与人文【全两讲】
  15. 40:34
    【数学 • 文化】蔡天新:携数字和玫瑰去旅行(全两讲)
  16. 57:56
    浅谈科学计算
  17. 1:00:47
    【大数据】大数据近似计算(主讲人:马帅)
  18. 1:46:43
    【EXCEL】VLOOKUP 函数的几种常见用法
  19. 9:17:21
    【哈尔滨工业大学】微积分与工科专业【全46讲】
  20. 8:25:09
    高性能FPGA数字处理技术【全43讲】【北京理工大学】
  21. 4:15:30
    【浙江大学】数字化生存【全6集】
  22. 10:47:01
    统计学【全53讲】【国家级精品课】

Parts

  1. P1 · 1.1.1 课程简介
  2. P2 · 1.2.1 逻辑的研究对象:推理与论证
  3. P3 · 1.2.2 逻辑的研究对象:推理与论证
  4. P4 · 1.3.1 推理、推理形式及其有效性
  5. P5 · 1.3.2 推理、推理形式及其有效性
  6. P6 · 1.3.3 推理、推理形式及其有效性
  7. P7 · 1.4.1 论证的结构及其作用
  8. P8 · 1.4.2 论证的结构及其作用
  9. P9 · 1.5.1 同一律、矛盾律、排中律和二值原则
  10. P10 · 1.5.2 同一律、矛盾律、排中律和二值原则
  11. P11 · 1.5.3 同一律、矛盾律、排中律和二值原则
  12. P12 · 1.5.4 同一律、矛盾律、排中律和二值原则
  13. P13 · 1.5.5 同一律、矛盾律、排中律和二值原则
  14. P14 · 1.6.1 充足理由律
  15. P15 · 2.1.1 日常联结词与复合命题
  16. P16 · 2.1.2 日常联结词与复合命题
  17. P17 · 2.2.1 从日常联结词到真值联结词
  18. P18 · 2.2.2 从日常联结词到真值联结词
  19. P19 · 2.2.3 从日常联结词到真值联结词
  20. P20 · 2.2.4 从日常联结词到真值联结词
  21. P21 · 2.3.1 日常语言中复合命题的符号化
  22. P22 · 3.1.1 重言式及其判定方法
  23. P23 · 3.1.2 重言式及其判定方法
  24. P24 · 3.1.3 重言式及其判定方法
  25. P25 · 3.1.4 重言式及其判定方法
  26. P26 · 3.2.1 重言蕴涵式、重言等值式
  27. P27 · 3.2.2 重言蕴涵式、重言等值式
  28. P28 · 4.1.1 命题逻辑的自然推演
  29. P29 · 4.2.1 PN推演方法
  30. P30 · 4.2.2 PN推演方法
  31. P31 · 4.2.3 PN推演方法
  32. P32 · 4.2.4 PN推演方法
  33. P33 · 4.3.1 PN有前提推演
  34. P34 · 4.4.1 PN推演总结
  35. P35 · 5.1.1 直言命题
  36. P36 · 5.1.2 直言命题
  37. P37 · 5.1.3 直言命题
  38. P38 · 5.2.1 直接推理
  39. P39 · 5.2.2 直接推理
  40. P40 · 5.3.1 三段论
  41. P41 · 6.1.1 三段论的规则
  42. P42 · 6.1.2 三段论的规则
  43. P43 · 6.1.3 三段论的规则
  44. P44 · 6.2.1 三段论的非标准形式
  45. P45 · 6.3.1 直言命题的存在含义问题
  46. P46 · 6.4.1 用文恩图判定三段论的有效性
  47. P47 · 7.1.1 一阶语言
  48. P48 · 7.1.2 一阶语言
  49. P49 · 7.2.1 自然语言中性质命题的符号化
  50. P50 · 7.3.1 自然语言中关系命题的符号化
  51. P51 · 7.4.1 模型和赋值
  52. P52 · 7.4.2 模型和赋值
  53. P53 · 7.5.1 树形图方法判别有效式
  54. P54 · 7.5.2 树形图方法判别有效式
  55. P55 · 7.5.3 树形图方法判别有效式
  56. P56 · 7.5.4 树形图方法判别有效式
  57. P57 · 8.1.1 解释方法
  58. P58 · 8.2.1 谓词逻辑的自然推演
  59. P59 · 8.2.2 谓词逻辑的自然推演
  60. P60 · 8.3.1 QN定理证明
  61. P61 · 8.3.2 QN定理证明
  62. P62 · 8.3.3 QN定理证明
  63. P63 · 8.4.1 QN有前提推演
  64. P64 · 8.5.1 QN推演总结
  65. P65 · 9.1.1 归纳逻辑概述
  66. P66 · 9.1.2 归纳逻辑概述
  67. P67 · 9.2.1 求因果联系五法
  68. P68 · 9.2.2 求因果联系五法
  69. P69 · 9.2.3 求因果联系五法
  70. P70 · 9.3.1 类比推理、模拟、比较
  71. P71 · 9.3.2 类比推理、模拟、比较
  72. P72 · 9.3.3 类比推理、模拟、比较
  73. P73 · 9.4.1 假说演绎法
  74. P74 · 9.4.2 假说演绎法
  75. P75 · 9.4.3 假说演绎法
  76. P76 · 9.5.1 休谟的归纳问题:归纳方法是合理的吗
Description
参考资料:
【课程教材】:
陈波:《逻辑学导论》(第三版),中国人民大学出版社,2014年。
陈波主编:《逻辑学读本》,中国人民大学出版社,2009年。
陈波等编著:《〈逻辑学导论〉(第二版)教学辅导书》,中国人民大学出版社,2006年。
【参考书目】:
柯比著:《逻辑学导论》,张建军等译,中国人民大学出版社,2008年。
赫尔利著:《简明逻辑导论》,陈波等译,世界图书出版公司,2010年。
罗·蒂德曼、霍华德·卡哈尼著:《逻辑与哲学:现代逻辑导论》,张建军等译,中国人民大学出版社,2017。
尼尔·布郎、斯图尔特·基利:《走出思维的误区》,中央编译出版社,1994年。
金岳霖主编:《形式逻辑》,人民出版社,1979年。
周礼全主编:《逻辑—正确思维和成功交际的理论》,人民出版社,1994年。
吴家国主编:《普通逻辑》(第四版),上海人民出版社,1993年。
陈 波:《逻辑学是什么》,第二版,北京大学出版社,2015年。
陈 波:《逻辑学十五讲》,北京大学出版社,2008年。
陈 波:《逻辑哲学》,北京大学出版社,2005年。
陈 波:《思维魔方,让哲学家和数学家纠结的悖论》,北京大学出版社,2014。

Comments

星辰总在闪 9h ago

[星星眼]

♥ 1