# 数理逻辑基础
数理逻辑基础
数理逻辑课程的入门课件。讲解了数理逻辑这门课程的基础概念。
数理逻辑.pdf数理逻辑图文版
数理逻辑简要版,图文并茂,容易理解
离散数学基础数理逻辑
离散数学组合论组合设计数理逻辑：是计算机科学的基础，应熟练掌握将现实生活中的条件化成逻辑公式，并能做适当的推理，这对程序设计等课
离散数学基础数理逻辑
中山大学计算机系教材2007年版。
这是人工智能方向的必须基础。186页（非影印版，高质pdf）
数理逻辑答案
数理逻辑答案主要包括命题、谓词、一阶等内容部分答案
数理逻辑教材
这是一本有关于数理逻辑的教材。计算机专业背景的朋友都会用到这本书的。
数理逻辑课件
离散数学的重要一篇章。数理逻辑资料。
数理逻辑概貌
数理逻辑是采用数学方法来研究推理的一门科学,本书通俗地介绍数理逻辑的基本内容、主要结构、最新的发展,以及研究工作的前沿课题。
数理逻辑HerbertBEnderton
译者序 数理逻辑作为基础数学的一个重要分支， 在计算机科学中起着奠基作用， 在模糊数学和 人工智能等方面也都有着广泛的应用， 有
数理逻辑专著
推荐国防工业出版社2015年专著《证明方法与理论》。是计算机基础理论类的。涉及计算机原理、定理自动证明等。