文件名称：高级数理逻辑
文件大小：47.99MB
文件格式：ZIP
更新时间：2022-01-22 14:53:16
高级数理逻辑 形式推演
北京邮电大学学硕和专硕的高级数理逻辑课件（学硕是word文档错误较多难度较大）（专硕是ppt比较实用容易理解）
【文件预览】：
高级数理逻辑
----第四章 NEW.pptx(722KB)
----复习 NEW.pptx(224KB)
----第八章 NEW.pptx(131KB)
----03.doc(668KB)
----第一章 NEW.pptx(377KB)
----06.doc(425KB)
----第二章 NEW.pptx(222KB)
----01.doc(123KB)
----11.doc(228KB)
----面向计算机科学的数理逻辑（第二版）陆钟万.pdf(45.96MB)
----04.doc(589KB)
----.DS_Store(6KB)
----09.doc(149KB)
----08.doc(655KB)
----第一章 小结.pptx(59KB)
----第六章 NEW.pptx(265KB)
----第二章 小结.pptx(55KB)
----一、二章补充习题.pptx(78KB)
----02.doc(574KB)
----05.doc(502KB)
----第五章 NEW.pptx(115KB)
----07.doc(351KB)
----第七章 NEW.pptx(255KB)
----第三章 NEW.pptx(479KB)