MOOC课程 | 清华大学

首页 > MOOC课程 > 逻辑学概论 >

第七讲命题演算：公理系统，自然演绎系统

标签

[无]

所属专题逻辑学概论

所属分类 [无]

主讲人陈为蓬

制作日期 2015年春季

资源文件：

文件（夹）名	资源类型	文件大小	资源结构	操作
7.1 公理系统出发点的延伸.mp4	演示版文件	289.0MB	单个文件
7.2 公理系统的评价.mp4	演示版文件	258.0MB	单个文件
7.3 公理系统的性质和评价及其意义.mp4	演示版文件	232.7MB	单个文件
7.4 命题演算的自然演绎系统.mp4	演示版文件	222.8MB	单个文件
7.5命题演算自然演绎系统中的证明和推演.mp4	演示版文件	456.7MB	单个文件

专题逻辑学概论

中的其他资源

一起来点评吧