数理逻辑基础.下册

1星价 ¥73.5 (7.5折)

2星价￥73.5 定价￥98.0

作者：胡世华，陆钟万著

出版社：科学出版社

本类榜单：自然科学

分类：自然科学 > 数学 > 数学理论

买过本商品的人还买了

数理逻辑基础.上册?

胡世华，陆钟万著

¥68.6¥98.0

暂无评论

图文详情

ISBN：9787030464224
装帧：一般胶版纸
册数：暂无
重量：暂无
开本：24cm
页数：434
出版时间：2015-11-01
条形码：9787030464224 ; 978-7-03-046422-4

本书特色

　　本书陈述数理逻辑的基础知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础。《BR》　　本书共六部分，分上、下两册。下册包括第三、四、五章和两个附录。第三章陈述逻辑演算的重言式系统，并研究自然推理系统和重言式系统的关系。第四章研究逻辑演算的可靠性和完备性问题。第五章讨论了逻辑演箅如何应用于陈述具体的数学理论，并且研究了在数学中引进定义的形式化问题。附录(一)陈述带量词的命题逻辑；附录(二)定义了斜形证明，并且证明了形式证明与斜形证明的等价关系。

内容简介

本书介绍数理逻辑的基础知识, 包括逻辑验算的基本内容。这些内容构成数理逻辑各个分支 (模型论、证明论和构造性数学、递归论、集合论) 的共同的基础。本书共六部分, 分上、下两册。本册为下册。

第三章重言式30 P的重言式系统31 P*等的重言式系统32 非古典命题逻辑的重言式系统33 谓词逻辑的重言式系统34 重言式系统和自然推理系统的关系第四章可靠性和完备性40 赋值41 恒真性和可真性42 可靠性和协调性43 命题逻辑的完备性44 谓词逻辑的完备性（一）45 谓词逻辑的完备性（二）46 带等词的谓词逻辑的完备性47 紧致性定理和勒文海姆一斯柯伦定理48 独立性第五章形式数学系统50 形式数学系统51 初等代数52 自然数53 哥德尔不完备性定理54 集55 实数56 应用重言式系统57 形式符号定义附录（一）命题量词附录（二）斜形证明符号汇编（下册）参考文献

展开全部

本类五星书