清华大学陈为蓬《逻辑学概论》课程：命题演算中公理系统L中的证明6.3
选集(0)
自动播放
清华大学公开课：陈为蓬《逻辑学概论》
- 学校:清华大学
- 讲师: 陈为蓬
- 集数:81
- 授课语言:中文
- 类型:其它
- 课程简介:陈为蓬，清华大学人文社会科学学院副教授，主要研究方向为自然语言的逻辑。该课程中给出了关于有效推理形式、判定与生成方式的基本方法。 作为面向非逻辑学专业学生的逻辑学概论课，本课程的着眼点不仅仅在于讲授逻辑学中的具体内容，而更致力于使学生了解逻辑学的基本思路、准则和方法。
相关推荐
评论沙发是我的～