扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
宇宙、量子和人类心灵
-
>
气候文明史
-
>
南极100天
-
>
考研数学专题练1200题
-
>
希格斯:“上帝粒子”的发明与发现
-
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁
-
>
声音简史
买过本商品的人还买了
数理逻辑基础.下册 版权信息
- 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 形式符号定义
附录（一） 命题量词附录（二） 斜形证明符号汇编（下册）参考文献
书友推荐
- >
回忆爱玛侬
回忆爱玛侬
¥24.0¥32.8 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥16.9¥49.8 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥15.7¥45.8 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
有舍有得是人生
有舍有得是人生
¥25.7¥45.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥16.9¥49.8 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥21.6¥48.0 - >
山海经
山海经
¥18.7¥68.0
本类畅销
-
普林斯顿概率论读本
¥87.6¥139 -
TUKEY统计学讲义:数据分析与回归
¥79.7¥119 -
TUKEY统计学讲义:探索性数据分析
¥86.4¥129 -
怎样解题
¥17.8¥29 -
不良情绪应急处理包--孤独感
¥12.9¥30 -
不良情绪应急处理包--精神内耗
¥12.9¥30
