MOOC课程 | 清华大学

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

第六讲命题演算：公理系统

标签

[无]

所属专题逻辑学概论

所属分类 [无]

主讲人陈为蓬

拍摄日期 2015年春季

资源文件：

文件（夹）名	资源类型	文件大小	资源结构	操作
6.1 公理系统的构成.mp4	演示版文件	427.6MB	单个文件
6.2 命题演算的公理系统L.mp4	演示版文件	258.8MB	单个文件
6.3 命题演算的公理系统L中的证明.mp4	演示版文件	189.5MB	单个文件
6.4 命题演算的公理系统L中的证明（续）.mp4	演示版文件	142.6MB	单个文件
6.5 命题演算的公理系统L中的推演.mp4	演示版文件	216.6MB	单个文件

专题逻辑学概论

中的其他资源

一起来点评吧