中财网蓝牙管理 windows10:在线读书:数学家的逻辑（英）A.G.哈密尔顿
来源：百度文库 编辑：中财网 时间：2024/04/27 21:35:29
数学家的逻辑
作者：（英）A.G.哈密尔顿著
出版日期：1989
页数：294
关键词：数理逻辑 A G 哈密尔顿 骆如枫
分类： 数理化 >数理逻辑
在线阅读数学家的逻辑电子书超星阅览器
阅读1阅读2下载图书
阅览器阅读/下载图书须安装超星阅览器，立即下载
添加到学习计划
收藏推荐
分享到
内容提要
译自: Logic for mathematicans／A. G. Hamilton. -- 剑桥大学出版社, 1978:本书是数理逻辑的基础读物，对递归论、公理集合论、模型论、证明论与逻辑演算五部分的基本内容、方法作了实质性的介绍。
隐藏目录章节目录
目录
第1章 非形式语句演算
1.1 语句和连接词
1.2 真值函数和真值表
1.3 运算规则和代入规则
1.4 范式
1.5 连接词的充足集
1.6 论证和有效性
第2章 形式语句演算
2.1 形式系统L
2.2 L的完备性定理
第3章 非形式谓词演算
3.1 谓词和量词
3.2 一阶语言
3.3 解释
3.4 可满足性，真
第4章 形式谓词演算
4.1 形式系统K？
4.2 等值，代入
4.3 前束范式
4.4 K的完备性定理
4.5 模型
第5章 数学系统
5.1 引言
5.2 有等词的一阶系统
5.3 群论
5.4 一阶算术
5.5 形式集论
5.6 相容性和模型
第6章 G？del不完全性定理
6.1 引言
6.2 可表达性
6.3 递归函数和递归关系
6.4 G？del数
6.5 不完全性定理的证明
第7章 可计算性，不可解性，不可判定性
7.1 算法和可计算性
7.2 Turing机
7.3 字问题
7.4 形式系统的不可判定性
附录 可数集和不可数集
部分习题的提示和解答
参考书和进一步读物
符号汇编
英中名词对照表
中英名词对照表
隐藏目录
作者：（英）A.G.哈密尔顿著
出版日期：1989
页数：294
关键词：数理逻辑 A G 哈密尔顿 骆如枫
分类： 数理化 >数理逻辑
在线阅读数学家的逻辑电子书超星阅览器
阅读1阅读2下载图书
阅览器阅读/下载图书须安装超星阅览器，立即下载
添加到学习计划
收藏推荐
分享到
内容提要
译自: Logic for mathematicans／A. G. Hamilton. -- 剑桥大学出版社, 1978:本书是数理逻辑的基础读物，对递归论、公理集合论、模型论、证明论与逻辑演算五部分的基本内容、方法作了实质性的介绍。
隐藏目录章节目录
目录
第1章 非形式语句演算
1.1 语句和连接词
1.2 真值函数和真值表
1.3 运算规则和代入规则
1.4 范式
1.5 连接词的充足集
1.6 论证和有效性
第2章 形式语句演算
2.1 形式系统L
2.2 L的完备性定理
第3章 非形式谓词演算
3.1 谓词和量词
3.2 一阶语言
3.3 解释
3.4 可满足性，真
第4章 形式谓词演算
4.1 形式系统K？
4.2 等值，代入
4.3 前束范式
4.4 K的完备性定理
4.5 模型
第5章 数学系统
5.1 引言
5.2 有等词的一阶系统
5.3 群论
5.4 一阶算术
5.5 形式集论
5.6 相容性和模型
第6章 G？del不完全性定理
6.1 引言
6.2 可表达性
6.3 递归函数和递归关系
6.4 G？del数
6.5 不完全性定理的证明
第7章 可计算性，不可解性，不可判定性
7.1 算法和可计算性
7.2 Turing机
7.3 字问题
7.4 形式系统的不可判定性
附录 可数集和不可数集
部分习题的提示和解答
参考书和进一步读物
符号汇编
英中名词对照表
中英名词对照表
隐藏目录