扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
可计算性与数理逻辑 版权信息
- ISBN：7121007797
- 条形码：9787121007798 ; 978-7-121-00779-8
- 装帧：简裝本
- 册数：暂无
- 重量：暂无
- 所属分类：>
可计算性与数理逻辑 本书特色
本书特点：
·精辟地阐述了逻辑方面的基本时论结果，包括可计算性、不可判定性、公理化、可定义性、不定全性等。
·简约地写作风格。虽然许多解释是形式化的，但十分清楚；现代的优雅证明可帮助读者理解经典的定理，且行文简洁。
·对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域从事研究的读者以及进行授课的教师，本书也是大有裨益的。
可计算性与数理逻辑 内容简介
本书是一本经典的逻辑教书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题，如歌德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成为一个本经典的教科书。该书在每章末尾还增加了习题，并重新组织和改写了某些章，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者，此书也是大有裨益的。
可计算性与数理逻辑 目录
**部分可计算性理论
第1章可枚举性
1.1可枚举性
1.2可枚举集
习题
第2章对角化
2.1对角化
习题
第3章图灵可计算性
3.1图灵可计算性
习题
第4章不可计算性
4.1停机问题
4.2*产出函数
习题
第5章算盘可计算性
5.1算盘机
5.2用图灵机模拟算盘机
5.3算盘的计算能力
习题
第6章递归函数
6.1原始递归函数
6.2极小化
习题
第7章递归集与递归关系
7.1递归关系
7.2半递归关系
7.3*其他例子
习题
第8章可计算性的等价定义
8.1为图灵计算编码
8.2通用图灵机
8.3*递归可枚举集
习题
第二部分基础元逻辑
第9章一阶逻辑初阶：语法
9.1一阶逻辑
9.2语法
习题
第10章一阶逻辑初阶：语义
10.1语义
10.2元逻辑概念
习题
第11章一阶逻辑的不可判定性
11.1逻辑与图灵机
11.2逻辑与原始递归函数
习题
第12章模型
12.1模型的规模与数目
12.2等价关系
12.3洛文海姆一斯科伦定理与紧致性定理
习题
第13章模型的存在性
13.1证明概述
13.2证明的**阶段
13.3证明的第二阶段
13.4证明的第三阶段
13.5*不可枚举语言
习题
第14章证明与完备性
14.1矢列演算
14.2可靠性与完备性
14.3*其他证明系统与希尔伯特论题
习题
第15章算术化
15.1语法的算术化
15.2*哥德尔数
15.3*再论哥德尔数
习题
第16章递归函数的可表示性
16.1算术可定义性
16.2极小算术与可表示性
16.3数学归纳
16.4*罗宾逊算术
习题
第17章不可定义性、不可判定性和不完全性
17.1对角线引理和局限性定理
17.2不可判定的语句
17.3*不用对角线引理的不可判定语句
习题
第18章协调性的不可证性
18.1协调性的不可证性
18.2历史评论
第三部分高级专题
第19章范式
19.1析取范式与前束范式
19.2斯科伦范式
19.3赫布兰德定理
19.4消去函数符号和等号
习题
第20章Craig内插定理
20.1Craig定理及其证明
20.2罗宾逊联合协调性定理
20.3Beth可定义性定理
习题
第21章一目逻辑与二目逻辑
21.1可解的与不可解的判定问题
21.2一目逻辑
21.3二目逻辑
习题
第22章二阶逻辑
22.1一阶逻辑
习题
第23章算术可定义性
23.1算术可定义性和真
23.2算术可定义性与力迫
习题
第24章无乘法算术的可判定性
24.1无乘法算术的可判定性
习题
第25章非标准模型
25.1非标准模型中的序
25.2非标准模型中的运算
25.3分析的非标准模型
习题
第26章Ramsey定理
26.1Ramsey定理：有限的与无限的
26.2KSnig引理
习题
第27章模态逻辑与可证性
27.1模态逻辑
27.2可证性逻辑
27.3不动点定理与范式定理
习题
部分问题提示
加注释的参考文献
第1章可枚举性
1.1可枚举性
1.2可枚举集
习题
第2章对角化
2.1对角化
习题
第3章图灵可计算性
3.1图灵可计算性
习题
第4章不可计算性
4.1停机问题
4.2*产出函数
习题
第5章算盘可计算性
5.1算盘机
5.2用图灵机模拟算盘机
5.3算盘的计算能力
习题
第6章递归函数
6.1原始递归函数
6.2极小化
习题
第7章递归集与递归关系
7.1递归关系
7.2半递归关系
7.3*其他例子
习题
第8章可计算性的等价定义
8.1为图灵计算编码
8.2通用图灵机
8.3*递归可枚举集
习题
第二部分基础元逻辑
第9章一阶逻辑初阶：语法
9.1一阶逻辑
9.2语法
习题
第10章一阶逻辑初阶：语义
10.1语义
10.2元逻辑概念
习题
第11章一阶逻辑的不可判定性
11.1逻辑与图灵机
11.2逻辑与原始递归函数
习题
第12章模型
12.1模型的规模与数目
12.2等价关系
12.3洛文海姆一斯科伦定理与紧致性定理
习题
第13章模型的存在性
13.1证明概述
13.2证明的**阶段
13.3证明的第二阶段
13.4证明的第三阶段
13.5*不可枚举语言
习题
第14章证明与完备性
14.1矢列演算
14.2可靠性与完备性
14.3*其他证明系统与希尔伯特论题
习题
第15章算术化
15.1语法的算术化
15.2*哥德尔数
15.3*再论哥德尔数
习题
第16章递归函数的可表示性
16.1算术可定义性
16.2极小算术与可表示性
16.3数学归纳
16.4*罗宾逊算术
习题
第17章不可定义性、不可判定性和不完全性
17.1对角线引理和局限性定理
17.2不可判定的语句
17.3*不用对角线引理的不可判定语句
习题
第18章协调性的不可证性
18.1协调性的不可证性
18.2历史评论
第三部分高级专题
第19章范式
19.1析取范式与前束范式
19.2斯科伦范式
19.3赫布兰德定理
19.4消去函数符号和等号
习题
第20章Craig内插定理
20.1Craig定理及其证明
20.2罗宾逊联合协调性定理
20.3Beth可定义性定理
习题
第21章一目逻辑与二目逻辑
21.1可解的与不可解的判定问题
21.2一目逻辑
21.3二目逻辑
习题
第22章二阶逻辑
22.1一阶逻辑
习题
第23章算术可定义性
23.1算术可定义性和真
23.2算术可定义性与力迫
习题
第24章无乘法算术的可判定性
24.1无乘法算术的可判定性
习题
第25章非标准模型
25.1非标准模型中的序
25.2非标准模型中的运算
25.3分析的非标准模型
习题
第26章Ramsey定理
26.1Ramsey定理：有限的与无限的
26.2KSnig引理
习题
第27章模态逻辑与可证性
27.1模态逻辑
27.2可证性逻辑
27.3不动点定理与范式定理
习题
部分问题提示
加注释的参考文献
展开全部
可计算性与数理逻辑 作者简介
何自强，北京航空航天大学计算机学校教授，在国防科技大学和北京航空航天大学已从事数理逻辑、离散数学、可计算性理论的教学和研究20余年。
书友推荐
- >
月亮虎
月亮虎
¥19.7¥48.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥37.4¥49.8 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
随园食单
随园食单
¥20.6¥48.0 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥17.6¥55.0
本类畅销
-
数学之美
¥48.3¥69 -
浪潮之巅-下册-第二版
¥22.1¥45 -
挑战程序设计竞赛(第2版)
¥55.3¥79 -
算法竞赛入门经典-(第2版)
¥34.9¥49.8 -
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑，闭眼，刀谁？
¥42.3¥158
