杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑/张再跃, 张晓如编著

出版发行项:

北京:清华大学出版社,2013

ISBN及定价:

978-7-302-33102-5/CNY23.00

载体形态项:

135页;26cm

丛编项:

中国高等学校计算机科学与技术专业 (应用型) 规划教材

个人责任者:

张再跃 编著

个人责任者:

张晓如 编著

学科主题:

数理逻辑-高等学校-教材

中图法分类号:

O141

中图法分类号:

O141

书目附注:

有书目

提要文摘附注:

本书共分7章。第0章绪论，介绍元数学的形成与发展，第1章介绍集合论的基础知识，第2章介绍可计算性理论的基本知识、第3章至第5章是关于经典数理逻辑的内容，第6章以一阶算术系统为例，介绍基于逻辑系统扩展的数学应用系统的描述方法，最终给出“哥德尔不完备性定理”的证明。

使用对象附注:

本书可以作为教材，也可作为希望了解数理逻辑基础知识的高校学生和科研技术工作者的阅读材料或参考资料。

豆瓣简介：