大学计算机教育国外著名教材、教参系列（影印版）：数理逻辑（修订版） pmlz 2025 pdf 下载 kindle mobi docx 百度云

“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家推荐，我们选了剑桥大学出版社的，由A.G.Hamilton著“Logic for Mathematicians”一书影印出版，希望本书的影印版能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书版由剑桥大学出版社于1978年出版，然后，于1988年出了修订版。自从出版以来，几乎第年都要重印，可见其受欢迎的程度。本书是适合作本科生教学的，难得的好教材，既适用于计算机专业，也适用于数学专业，对哲学专业的学生同样也是适用的。

暂无相关目录，正在全力查找中！

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：大学计算机教育国外著名教材、教参系列（影印版）：数理逻辑（修订版）在线阅读

在线听书地址：大学计算机教育国外著名教材、教参系列（影印版）：数理逻辑（修订版）在线收听

在线购买地址：大学计算机教育国外著名教材、教参系列（影印版）：数理逻辑（修订版）在线购买

暂无原文赏析，正在全力查找中！

暂无其它内容！