数理逻辑(美)Herbert.B.Enderton.pdf
内容介绍
是数理逻辑方面的经典。中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含是数理逻辑方面的经典。中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。适合作为计算机及相关专业本科生和研究生数理逻辑课程的。. 是数理逻辑方面的经典，以可读性强而著称，在美国中采用率极高，麻省理工学院、加州伯克利分校、哥伦比亚、康奈尔等众多名校均用它作为。本版章节组织更加灵活，增加了与计算机科学相关的主题(比如有限模型)，还增加了一些示例和阐释文字，更适合本科生和研究生数理逻辑课程使用。下载地址
进入下载页
文件大小
2.90MB
上传作者
Toy
文件类型
.pdf