数理逻辑

出版时间：2003-8  出版社：清华大学  作者：A.G.Hamilton  
Tag标签：无  

内容概要

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