大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑) » 数理逻辑
名称 数理逻辑
索引号 O141/20141
分类号 O141
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 张再跃、张晓如、
出版社 北京 : 清华大学出版社, 2013
ISBN 978-7-302-33102-5
页数 135页 ; 26cm
价格 CNY23.00
标签
简介
注解 有书目 本书共分7章。第0章绪论，介绍元数学的形成与发展，以及元数学与数理逻辑之间的关系，同时简要说明课程学习的目的和意义；第1章介绍集合论的基础知识，包括有穷集与无穷集的概念、可数集与不可数集的性质、集合的基数、无穷基数的比较等方面的内容；第2章介绍可计算性理论的基本知识，包括计算概念的形成与发展、算法的基本描述、计算概念的数学定义、可计算性函数的基本性质等；第3章～第5章是关于经典数理逻辑的内容，包括命题演算和谓词演算两个部分，重点介绍逻辑演算以及相关形式系统的基本性质，内容涉及形式证明、形式推理、形式系统的语法、语义等概念以及逻辑系统的可靠性与充分性等方面的知识；第6章以一阶算术系统为例，介绍基于逻辑系统扩展的数学应用系统的描述方法，最终给出“哥德尔不完备性定理”的证明。在本书的附录中给出了全书的习题解答。