题名:
|
数理逻辑 / 张再跃, 张晓如编著 , |
ISBN:
|
978-7-302-33102-5 价格: CNY23.00 |
语种:
|
chi |
载体形态:
|
135页 26cm |
出版发行:
|
出版地: 北京 出版社: 清华大学出版社 出版日期: 2013 |
内容提要:
|
本书共分7章。绪论, 介绍元数学的形成与发展, 以及元数学与数理逻辑之间的关系, 同时简要说明课程学习的目的和意义 ; 第1章介绍集合论的基础知识, 包括有穷集与无穷集的概念、可数集与不可数集的性质、集合的基数、无穷基数的比较等方面的内容 ; 第2章介绍可计算性理论的基本知识, 包括计算概念的形成与发展、算法的基本描述等 ; 第3章-第5章是关于经典数理逻辑的内容, 包括命题演算和谓词演算两个部分, 重点介绍逻辑演算以及相关形式系统的基本性质, 内容涉及形式证明、形式推理、形式系统的语法、语义等概念以及逻辑系统的可靠性与充分性等方面的知识 ; 第6章以一阶算术系统为例, 介绍基于逻辑系统扩展的数学应用系统的描述方法。在本书的附录中给出了全书的习题解答。 |
主题词:
|
数理逻辑 高等学校 |
中图分类法:
|
O141 版次: 5 |
主要责任者:
|
张再跃 编著 |
主要责任者:
|
张晓如 编著 |
索书号:
|
5 |