扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
宇宙、量子和人类心灵
-
>
(精)BBC地球故事系列-星际旅行
-
>
从一到无穷大
-
>
图说相对论(32开平装)
-
>
一本有趣又有料的化学书
-
>
刘薰宇的数学三书:原来数学可以这样学全3册
-
>
光学零件制造工艺学
数理逻辑基础.下册 版权信息
- 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 形式符号定义
附录(一) 命题量词附录(二) 斜形证明符号汇编(下册)参考文献
展开全部
书友推荐
- >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥40.6¥58.0 - >
推拿
推拿
¥12.2¥32.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥8.4¥14.0 - >
经典常谈
经典常谈
¥17.1¥39.8 - >
自卑与超越
自卑与超越
¥17.1¥39.8 - >
李白与唐代文化
李白与唐代文化
¥9.5¥29.8 - >
月亮与六便士
月亮与六便士
¥13.4¥42.0 - >
莉莉和章鱼
莉莉和章鱼
¥16.0¥42.0
本类畅销
-
时间简史-普及版
¥16.3¥38 -
严士健谈数学教育
¥8.5¥25 -
分割与积累
¥10.8¥25 -
统计学七支柱
¥27.3¥39 -
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑,闭眼,刀谁?
¥42.3¥158