扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
宇宙、量子和人类心灵
-
>
气候文明史
-
>
南极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 形式符号定义
附录(一) 命题量词附录(二) 斜形证明符号汇编(下册)参考文献
展开全部
书友推荐
- >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥18.6¥55.0 - >
我与地坛
我与地坛
¥16.4¥28.0 - >
月亮与六便士
月亮与六便士
¥19.1¥42.0 - >
朝闻道
朝闻道
¥14.8¥23.8 - >
经典常谈
经典常谈
¥16.7¥39.8 - >
随园食单
随园食单
¥16.4¥48.0 - >
唐代进士录
唐代进士录
¥16.1¥39.8 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.1¥16.0
本类畅销
-
普林斯顿概率论读本
¥87.6¥139 -
TUKEY统计学讲义:数据分析与回归
¥79.7¥119 -
TUKEY统计学讲义:探索性数据分析
¥86.4¥129 -
怎样解题
¥17.8¥29 -
不良情绪应急处理包--孤独感
¥12.9¥30 -
不良情绪应急处理包--精神内耗
¥12.9¥30
浏览历史
装配式建筑概论
¥21.3¥35.0诚信体系:防控社会医疗保险道德风险的理性选择
¥29.6¥52.0基于复杂模糊信息的多属性决策方法及其应用
¥53.8¥88.0AI智能运营从入门到精通
¥35.8¥49.0机械类3+4贯通培养规划教材互换性原理与测量技术/杨发展
¥50.0¥59.0