机读格式显示(MARC)
- 000 01340nam0 2200265 450
- 010 __ |a 978-7-302-33102-5 |d CNY23.00
- 100 __ |a 20130916d2013 em y0chiy0110 ea
- 200 1_ |a 数理逻辑 |9 shu li luo ji |b 专著 |f 张再跃,张晓如编著
- 210 __ |a 北京 |c 清华大学出版社 |d 2013
- 300 __ |a 中国高等学校计算机科学与技术专业(应用型)规划教材/陈明主编
- 330 __ |a 本书共分7章。第0章绪论,介绍元数学的形成与发展,以及元数学与数理逻辑之间的关系;第1章介绍集合论的基础知识,包括有穷集与无穷集的概念、可数集与不可数集的性质、集合的基数、无穷基数的比较等方面的内容;第2章介绍可计算性理论的基本知识,包括计算概念的形成与发展、算法的基本描述等;第3章-第5章是关于经典数理逻辑的内容,包括命题演算和谓词演算两个部分,重点介绍逻辑演算以及相关形式系统的基本性质,内容涉及形式证明、形式推理、形式系统的语法、语义等概念以及逻辑系统的可靠性与充分性等方面的知识;第6章以一阶算术系统为例,介绍基于逻辑系统扩展的数学应用系统的描述方法。在本书的附录中给出了全书的习题解答。
- 606 0_ |a 数理逻辑 |x 高等学校 |j 教材
- 701 _0 |a 张再跃 |9 zhang zai yue |4 编著
- 701 _0 |a 张晓如 |9 zhang xiao ru |4 编著
- 801 _0 |a CN |b ZPHC |c 20140307
- 905 __ |a ZPHC |d O141-43/1