中图网

>

数学

>

数学理论

数理逻辑基础.下册

作者：胡世华，陆钟万著

出版社：科学出版社出版时间：2015-11-01

开本： 24cm 页数： 434

本类榜单：自然科学销量榜

中图价:¥73.5(7.5折) 定价 ~~¥98.0~~ 登录后可看到会员价

加入购物车收藏

运费6元，满39元免运费

?新疆、西藏除外

本类五星书更多>

>
宇宙、量子和人类心灵

宇宙、量子和人类心灵

¥41.6¥58
>
考研数学专题练1200题

考研数学专题练1200题

¥30.6¥78
>
希格斯:“上帝粒子”的发明与发现

希格斯:“上帝粒子”的发明与发现

¥17.4¥48
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁

神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁

¥48¥120
>
二十四史天文志校注(上中下)

二十四史天文志校注(上中下)

¥261.3¥390
>
声音简史

声音简史

¥20.8¥52
>
浪漫地理学:追寻崇高景观

浪漫地理学:追寻崇高景观

¥39.3¥59

商品详情
商品评论(0条)

中图价:¥73.5 加入购物车

版权信息
本书特色
内容简介
目录

数理逻辑基础.下册版权信息

ISBN：9787030464224
条形码：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 形式符号定义附录（一）命题量词附录（二）斜形证明符号汇编（下册）参考文献

展开全部

商品评论(0条)

写书评赚书币

暂无评论……

书友推荐