数理逻辑与机器证明PPT模板课件.pptx

《数理逻辑与机器证明PPT模板课件.pptx》由会员分享，可在线阅读，更多相关《数理逻辑与机器证明PPT模板课件.pptx（23页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

202XLOGO数理逻辑与机器证明演讲人202X-1 1-1 101目录目录 02绪论绪论 03第一章命题逻辑第一章命题逻辑01031.1命题连接词1.2公式1.3形式推理系统（上）020405061.4形式推理系统（下）1.5赋值 1.6逻辑推论1.7合取范式和析取范式1.8连接符的完备集第一章命题逻辑04第二章一阶逻辑第二章一阶逻辑2.1命题函数和量词A2.2公式B2.3形式推理系统C2.4赋值D2.5逻辑推论E2.6前束范式F05第三章可靠性和完备性第三章可靠性和完备性3.1有效性和可满足性3.2可靠性3.3命题逻辑的完备性3.6形式数学系统3.5一阶逻辑（带等符）的完备性3.4一阶逻辑的完备性01020304050606第四章机器证明第四章机器证明4.1试探法4.2判定法4.3计算机辅助证明4.4证明算法07第五章HERBRAND定理第五章Herbrand定理5.1无前束范式5.2Herbrand定理08第六章DA VIS-PUTNAM方法和分解法则第六章Davis-Putnam方法和分解法则6.1Davis-Putnam方法6.2统一代入6.3分解法则09附录可证式系统附录可证式系统10参考书目参考书目感谢聆听LOGO