数理逻辑一本书,比较简单
逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。数理逻辑的内容：1、命题逻辑系统2、一阶谓词逻辑系
Mathematical logic for computer science
高级数理逻辑第一章，数理逻辑划分，及现代逻辑体系
数理逻辑.(美)Herbert.B.Enderton.pdf
高级数理逻辑第五章：讲述模态逻辑，可能、必然与任意、存在的关系
数理逻辑课件 非常经典 这是比较详细的了
适合计算机专业类和数学类专业本科以上参考使用
高级数理逻辑第七章：λ-演算（Lambda演算）；λ-演算是一套用于研究函数定义、函数应用和递归的形式系统
数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。
用户评论