计算模型导引PDF电子书下载
- 电子书积分:9 积分如何计算积分?
- 作 者:宋方敏编著
- 出 版 社:北京:高等教育出版社
- 出版年份:2012
- ISBN:9787040347371
- 页数:151 页
图书介绍:本书主要介绍了计算模型领域的主要概念,方法和技术,旨在通过介绍递归函数,Lambda演算和Turing机来理解计算理论。本课程讲述如下专题:递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。
上一篇:微积分学引论 上下一篇:数学分析 高等代数 解析几何典型问题500例
《计算模型导引》目录
第一章 递归函数 1
1.1数论函数 1
1.2配对函数 7
1.3初等函数 14
1.4原始递归函数 25
1.5递归函数 40
1.6结论 46
习题 47
第二章 算盘机 51
2.1算盘机的定义 51
2.2算盘机可计算函数 54
2.3算盘机的计算能力 57
习题 68
第三章 λ一演算 69
3.1 λ一演算的语法 70
3.2转换 74
3.3归约 77
3.4 Church-Rosser定理 82
3.5 不动点定理 91
3.6递归函数的λ一可定义性 93
3.7与递归论对应的结果 98
习题 102
第四章 组合逻辑 105
4.1组合子的形式系统 105
4.2弱归约 109
4.3 CL与λ的对应 112
习题 117
第五章Turing机 119
5.1 Turing机的形式描述 119
5.2 Turing机的计算能力 125
5.3可判定性与停机问题 136
5.4通用Turing机 139
5.5 Church-Turing论题 145
习题 146
参考文献 149
相关图书
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《计算机辅助平面设计》吴轶博主编 2019
- 《计算机组成原理解题参考 第7版》张基温 2017
- 《云计算节能与资源调度》彭俊杰主编 2019
- 《Helmholtz方程的步进计算方法研究》李鹏著 2019
- 《计算机组成原理 第2版》任国林 2018
- 《大学计算机信息技术教程 2018版》张福炎 2018
- 《模型与认知》(美)乔纳森·A.瓦斯肯著,魏刘伟译 2019
- 《汉语言文学本科专业核心课程研究导引教材 古代汉语》马蓝婕责任编辑;(中国)魏宜辉 2019
作者其它书籍
- 《市政工程基础》杨岚编著 2009
- 《家畜百宝 猪、牛、羊、鸡的综合利用》山西省商业厅组织技术处编著 1959
- 《世说新语校笺 第1册》(南朝宋)刘义庆撰;(南朝梁)刘孝标注;杨勇校笺 2019
- 《《道德经》200句》崇贤书院编著 2018
- 《高级英语阅读与听说教程》刘秀梅编著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《看图自学吉他弹唱教程》陈飞编著 2019
- 《法语词汇认知联想记忆法》刘莲编著 2020
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
出版社其它书籍
- 《全国高等中医药行业“十三五”创新教材 中医药学概论》翟华强 2019
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《习近平总书记教育重要论述讲义》本书编写组 2020
- 《办好人民满意的教育 全国教育满意度调查报告》(中国)中国教育科学研究院 2019
- 《高等数学试题与详解》西安电子科技大学高等数学教学团队 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《教育学考研应试宝典》徐影主编 2019
- 《语文教育教学实践探索》陈德收 2018
- 《家庭音乐素养教育》刘畅 2018