高级人工智能，数理逻辑

数理逻辑中关于哥德尔编码的讲义，很实用，很有内涵

哈尔滨工业大学计算机学院数理逻辑课程课件

数理逻辑讲义,内容全面,生动,适用与基础较好

人工智能简述ARTIFICIALINTELLIGENCE

人工智能Artificial Intelligence081200B204a信息科学与技术学院戴齐

逻辑学 形式逻辑与数理逻辑比较研究 pdf文件

人工智能学习的好资料，详细介绍了经典的逻辑推理的过程和技术

人工智能命题逻辑中的归结推理系统设计与实现实验，实现标准输入文件读入子句集，可视化显示归结树附源代码与实验报告，仅供参考

国科大 高级AI 罗平老师的证明板书

本电子教案是《高级人工智能》的电子教案，对使用本教材的学校的老师有很好的帮助，还对那些需要考试的考生有很好的帮助！史老师的《高级人工智能》还是某些大学博士生的指定教材。