-
>
宇宙、量子和人类心灵
-
>
气候文明史
-
>
南极100天
-
>
考研数学专题练1200题
-
>
希格斯:“上帝粒子”的发明与发现
-
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁
-
>
声音简史
数理逻辑基础.下册 版权信息
- ISBN:9787030464224
- 条形码:9787030464224 ; 978-7-03-046422-4
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>>
数理逻辑基础.下册 本书特色
本书陈述数理逻辑的基础知识,包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础。《BR》 本书共六部分,分上、下两册。下册包括第三、四、五章和两个附录。第三章陈述逻辑演算的重言式系统,并研究自然推理系统和重言式系统的关系。第四章研究逻辑演算的可靠性和完备性问题。第五章讨论了逻辑演箅如何应用于陈述具体的数学理论,并且研究了在数学中引进定义的形式化问题。附录(一)陈述带量词的命题逻辑;附录(二)定义了斜形证明,并且证明了形式证明与斜形证明的等价关系。
数理逻辑基础.下册 内容简介
本书介绍数理逻辑的基础知识, 包括逻辑验算的基本内容。这些内容构成数理逻辑各个分支 (模型论、证明论和构造性数学、递归论、集合论) 的共同的基础。本书共六部分, 分上、下两册。本册为下册。
数理逻辑基础.下册 目录
- >
回忆爱玛侬
回忆爱玛侬
¥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