数理逻辑.H.B.Enderton中文版

数理逻辑课件 非常经典 这是比较详细的了

适合计算机专业类和数学类专业本科以上参考使用

高级数理逻辑第七章：λ-演算（Lambda演算）；λ-演算是一套用于研究函数定义、函数应用和递归的形式系统

北邮全套的研究生高级数理逻辑资料哦，还有个人整理的部分试卷答案，资源丰富。

本书介绍数理逻辑在机器证明中的应用，陈述简明扼要，是入门的好书！

数理逻辑 A.G.汉密尔顿的中英文版

计算机编程必备的数学基础知识！图论 数理逻辑

本文着重介绍数量逻辑常用的四种证明方法:真值表法、主范式法、推理演算法、归纳推理法,以旨帮助读者了解诸法之区别及运用情境。

学习过数理逻辑课程之后要求我们能简述数理逻辑的研究对象及科学意义

离散数学是计算机学科的经典核心基础课程。课程内容主要包括集合论，数理逻辑，关系理论，图论相关内容，为进一步学习计算机科学的基本理论和方法以及之后的专业课打下良好的基础。通过这门课程的学习，将会培养学生