系统提示

提示:咨询的同学比较多,可能回复稍慢,请见谅!

微信扫一扫

微信:ilolylve

微信扫一扫

微信:ilolylve

现代逻辑与形式化方法视频教程 蔡曙山 57讲 清华大学

批量下载(百度网盘)

课程介绍

    提示:仅供参考,以实际下载内容为准!

    第1集 形式语言和形式系统(一)
    第2集 形式语言和形式系统(二)
    第3集 形式语言和形式系统(三)
    第4集 形式语言和形式系统(四)
    第5集 形式语言和形式系统(五)
    第6集 一介逻辑语言(一)
    第7集 一介逻辑语言(二)
    第8集 一介逻辑语言(三)
    第9集 一介逻辑语言(四)
    第10集 一介逻辑语言(五)
    第11集 一介逻辑语言(六)
    第12集 一介逻辑语言(七)
    第13集 形式化的命题逻辑(一)
    第14集 形式化的命题逻辑(二)
    第15集 形式化的命题逻辑(三)
    第16集 形式化的命题逻辑(四)
    第17集 形式化的命题逻辑(五)
    第18集 演绎定理(一)
    第19集 演绎定理(二)
    第20集 演绎定理(三)
    第21集 演绎定理(四)
    第22集 演绎定理(五)
    第23集 一介语言(一)
    第24集 一介语言(二)
    第25集 一介语言(三)
    第26集 一介语言(四)
    第27集 一介语言(五)
    第28集 自然逻辑推理(一)
    第29集 自然逻辑推理(二)
    第30集 自然逻辑推理(三)
    第31集 自然逻辑推理(四)
    第32集 一介逻辑的句法学(一)
    第33集 一介逻辑的句法学(二)
    第34集 一介逻辑的句法学(三)
    第35集 一介逻辑的句法学(四)
    第36集 模型论(一)
    第37集 模型论(二)
    第38集 模型论(三)
    第39集 模型论(四)
    第40集 模型论(五)
    第41集 可靠性、一致性、完全性(一)
    第42集 可靠性、一致性、完全性(二)
    第43集 可靠性、一致性、完全性(三)
    第44集 可靠性、一致性、完全性(四)
    第45集 可靠性、一致性、完全性(五)
    第46集 学生讨论(一)
    第47集 学生讨论(二)
    第48集 学生讨论(三)
    第49集 学生讨论(四)
    第50集 学生讨论(五)
    第51集 学生讨论(六)
    第52集 哥德尔定理(一)
    第53集 哥德尔定理(二)
    第54集 哥德尔定理(三)
    第55集 哥德尔定理(四)
    第56集 哥德尔定理(五)
    第57集 哥德尔定理(六)

文章评论