计算理论解析

计算理论解析

分享

作者: 张寅生著

出版社: 清华大学出版社

出版时间: 2016-09

版次: 1

ISBN: 9787302437918

定价: 29.00

装帧: 平装

开本: 16开

纸张: 胶版纸

页数: 139页

字数: 122千字

正文语种: 简体中文

分类: 教材教辅考试>教材>大学教材>计算机与互联网

8 张插图图片

9人买过

　　本书介绍计算模型理论，包括计算的对象、本质、定义、分类、表达、逻辑和机械实现方法，以及计算模型的典型应用。
　　全书共分为6章。第1章介绍计算的对象和本质，将离散变量作为图灵计算（离散变量计算）的对象，将其逻辑确定性和机械能行可计算性作为图灵计算的本质；第2章介绍可计算函数——递归函数；第3章介绍计算机的数学原理；第4章介绍语言的计算；第5章介绍判定问题的可计算性；第6章介绍计算模型的典型应用。
　　本书是计算理论（计算模型、形式语言与自动机）、计算机科学技术史、逻辑学、语言学、数学、哲学的交叉研究，也是通过浅显易懂的讲解方式进行计算机核心理论教学的尝试。作者力图为计算机相关人员提供一个计算的本质特征的“灵魂”描述及其通俗解释，以使得计算机软硬件的所有任务、过程，特别是软件的表达与执行归结为数学原理和逻辑本质。
　　本书适合作为高等院校计算机、通信、自动化、软件工程、信息管理、数理逻辑与数学基础、生成转换语言学等专业本科生和研究生的教材。同时，由于本书内容深入浅出，能够被仅具有基本数学知识的人读懂，因此也可供对计算机理论感兴趣的广大科技工作者参考。

第1章计算的对象和本质1
参考文献6
第2章可计算函数——递归函数7
2.1分解计算、逐步计算的思想8
2.2原始函数10
2.3递归函数的构造方法11
2.3.1复合方法12
2.3.2递归方法12
2.4递归函数的家族21
2.5递归函数的通俗解释22
参考文献23
第3章计算机的数学原理25
3.1数学运算的基础25
3.2希尔伯特第十个问题及其自动化解决思想28
3.3图灵机原理32
3.4图灵机的局部改进和变形50
3.4.1多带图灵机50
3.4.2图灵机的复合53
3.4.3图灵机参数的限定57
参考文献57
[1]计算理论解析[1]目录〖2〗第4章语言的计算59
4.1图灵计算的分类59
4.2语言的可计算性61
4.3作为枚举器的图灵机69
4.4作为语言识别器（接受器）的图灵机70
4.5图灵机和短语语法72
4.6线性有界自动机与上下文有关语法77
4.7下推自动机与上下文无关语法83
4.8确定型有穷自动机与正则语法86
4.9不确定型有穷自动机与正则语法89
4.10自动机接受的语言94
参考文献95
第5章判定问题的可计算性97
5.1基本概念97
5.2不可判定性问题实例98
5.2.1丢番图方程整数解问题99
5.2.2对角线函数102
5.2.3停机问题104
5.2.4逻辑蕴涵106
5.2.5哥德尔语句G109
参考文献110
第6章计算模型的应用112
6.1计算机模拟图灵机112
6.2语言识别和语法验证115
6.3逻辑推理123
6.4计算复杂性分析133
参考文献139
内容简介:
　　本书介绍计算模型理论，包括计算的对象、本质、定义、分类、表达、逻辑和机械实现方法，以及计算模型的典型应用。
　　全书共分为6章。第1章介绍计算的对象和本质，将离散变量作为图灵计算（离散变量计算）的对象，将其逻辑确定性和机械能行可计算性作为图灵计算的本质；第2章介绍可计算函数——递归函数；第3章介绍计算机的数学原理；第4章介绍语言的计算；第5章介绍判定问题的可计算性；第6章介绍计算模型的典型应用。
　　本书是计算理论（计算模型、形式语言与自动机）、计算机科学技术史、逻辑学、语言学、数学、哲学的交叉研究，也是通过浅显易懂的讲解方式进行计算机核心理论教学的尝试。作者力图为计算机相关人员提供一个计算的本质特征的“灵魂”描述及其通俗解释，以使得计算机软硬件的所有任务、过程，特别是软件的表达与执行归结为数学原理和逻辑本质。
　　本书适合作为高等院校计算机、通信、自动化、软件工程、信息管理、数理逻辑与数学基础、生成转换语言学等专业本科生和研究生的教材。同时，由于本书内容深入浅出，能够被仅具有基本数学知识的人读懂，因此也可供对计算机理论感兴趣的广大科技工作者参考。
目录:
第1章计算的对象和本质1
参考文献6
第2章可计算函数——递归函数7
2.1分解计算、逐步计算的思想8
2.2原始函数10
2.3递归函数的构造方法11
2.3.1复合方法12
2.3.2递归方法12
2.4递归函数的家族21
2.5递归函数的通俗解释22
参考文献23
第3章计算机的数学原理25
3.1数学运算的基础25
3.2希尔伯特第十个问题及其自动化解决思想28
3.3图灵机原理32
3.4图灵机的局部改进和变形50
3.4.1多带图灵机50
3.4.2图灵机的复合53
3.4.3图灵机参数的限定57
参考文献57
[1]计算理论解析[1]目录〖2〗第4章语言的计算59
4.1图灵计算的分类59
4.2语言的可计算性61
4.3作为枚举器的图灵机69
4.4作为语言识别器（接受器）的图灵机70
4.5图灵机和短语语法72
4.6线性有界自动机与上下文有关语法77
4.7下推自动机与上下文无关语法83
4.8确定型有穷自动机与正则语法86
4.9不确定型有穷自动机与正则语法89
4.10自动机接受的语言94
参考文献95
第5章判定问题的可计算性97
5.1基本概念97
5.2不可判定性问题实例98
5.2.1丢番图方程整数解问题99
5.2.2对角线函数102
5.2.3停机问题104
5.2.4逻辑蕴涵106
5.2.5哥德尔语句G109
参考文献110
第6章计算模型的应用112
6.1计算机模拟图灵机112
6.2语言识别和语法验证115
6.3逻辑推理123
6.4计算复杂性分析133
参考文献139

查看详情

相关分类

一年级二年级三年级四年级五年级六年级小升初小学通用初一初二初三中考初中通用高一高二高三

计算理论解析正版现货，品相完整，套书只发一本,多版面书籍只对书名

九品

旧书香书城

北京市昌平区

平均发货23小时成功完成率88.75%

￥254.00

券

100减20

立即购买加入购物车
计算理论解析【正版有货可开发票】

全新

雅逸阁书店

海南省海口市

平均发货21小时成功完成率81.59%

￥242.00

券

100减20

立即购买加入购物车不属于本条目
8

计算理论解析正版现货实物拍照库存书

九五品

圣仁思图书专营店

河北省保定市

平均发货4小时成功完成率96.93%

￥180.00

券

100减20

立即购买加入购物车
计算理论解析【正版有货可开发票】

全新

雅逸阁书店

海南省海口市

平均发货21小时成功完成率81.59%

￥244.00

券

100减20

立即购买加入购物车不属于本条目
【正版新书】计算理论解析出版社，新华书店库存新书，保证正版，放心下单

全新

精诚所至正品书专营店

浙江省杭州市

平均发货5小时成功完成率80.9%

￥249.00

券

100减20

立即购买加入购物车
计算理论解析【标题与图片不一致时,请质询，正版有货可开发票】

全新

雅逸阁书店

海南省海口市

平均发货21小时成功完成率81.59%

￥252.00

券

100减20

立即购买加入购物车不属于本条目
计算理论解析【正版有货可开发票；标题与图片不一致时,请质询】

全新

一叶知秋语的书店

广东省广州市

平均发货9小时成功完成率90.27%

￥300.00

券

100减20

立即购买加入购物车不属于本条目
5

计算理论解析实物如图，内页干净。141

九五品

农夫山房

山东省济南市

平均发货11小时成功完成率95.48%

￥188.00

券

100减20

立即购买加入购物车
计算理论解析【正版图书可开发票】【支持7天无理由退回】{以标题为准，详情可咨询客服}

全新

赏乐阅书社

湖南省长沙市

平均发货13小时成功完成率91.39%

￥278.00

券

100减20

立即购买加入购物车不属于本条目
计算理论解析正版现货，品相完整，套书只发一本,多版面书籍只对书名

九品

RUC书店

北京市昌平区

平均发货18小时成功完成率83.33%

￥254.39

券

100减20

立即购买加入购物车
计算理论解析【正版有货可开发票】

全新

翰林阁书店

海南省海口市

平均发货24小时成功完成率87.34%

￥242.00

券

100减20

立即购买加入购物车不属于本条目
2

计算理论解析新书

全新

朴实精选书店

浙江省宁波市

平均发货9小时成功完成率42.86%

￥198.00

券

100减20

立即购买加入购物车
12

计算理论解析

九品

巴别书阁

江苏省南京市

平均发货7小时成功完成率93.33%

￥228.00

券

100减20

立即购买加入购物车
计算理论解析签名本

九五品

曼萍的书摊

黑龙江省哈尔滨市

平均发货24小时成功完成率66.67%

￥1200.00

券

100减20

立即购买加入购物车