APP下载
反馈
清华大学陈为蓬《逻辑学概论》课程:命题演算中公理系统L中的证明6.3
收藏
下载
手机看
扫描二维码 用手机看
已观看至0分0秒
打开网易公开课APP-我的-右上角扫一扫,在手机上观看,还可以缓存视频,加入学习计划
还没有公开课客户端?立即下载
0播放
选集(0)
自动播放
登录后可发评论

评论沙发是我的~

热门评论(0)
    全部评论(0)
      清华大学公开课:陈为蓬《逻辑学概论》
      • 学校:清华大学
      • 讲师: 陈为蓬
      • 集数:81
      • 授课语言:中文
      • 类型:其它
      • 课程简介:陈为蓬,清华大学人文社会科学学院副教授,主要研究方向为自然语言的逻辑。该课程中给出了关于有效推理形式、判定与生成方式的基本方法。 作为面向非逻辑学专业学生的逻辑学概论课,本课程的着眼点不仅仅在于讲授逻辑学中的具体内容,而更致力于使学生了解逻辑学的基本思路、准则和方法。
      相关推荐
      06:59
      东南大学公开课:线性代数课程绪论
      8.7万播放
      11:54
      重庆大学公开课:平面几何不变体系的...
      6764播放
      09:19
      初三数学:怎么求C、E两点运动路径...
      775播放
      04:23
      移动两根数学棒,让结果变成最大,还...
      1792播放
      06:37
      复杂三角问题及代数计算
      4082播放
      03:34
      华罗庚杯香港中学数学竞赛题,解方程...
      1284播放
      06:33
      厦门大学公开课:由波动方程形成的数...
      9556播放
      02:47
      解方程:x²+x=9120,广东省...
      1404播放
      02:51
      重庆大学公开课:数形结合求解函数的...
      6283播放
      36:44
      万门大学理论物理特训班
      3205播放
      22:59
      数学分析:课程简介
      31.2万播放
      40:00
      北京航空航天大学公开课:数学建模-...
      6692播放
      10:44
      浙江大学公开课:随机变量函数的数学...
      2.6万播放