计算模型导引

计算模型导引

宋方敏, 编著

出版社:高等教育出版社

年代:2012

定价:33.1

书籍简介:

本书主要介绍了计算模型领域的主要概念,方法和技术,旨在通过介绍递归函数,Lambda演算和Turing机来理解计算理论。本课程讲述如下专题:递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。

书籍目录:

第一章 递归函数 §1.1 数论函数 §1.2 配对函数 §1.3 初等函数 §1.4 原始递归函数 §1.5 递归函数 §1.6 结论 习题第二章 算盘机 §2.1 算盘机的定义 §2.2 算盘机可计算函数 §2.3 算盘机的计算能力 习题第三章 γ演算 §3.1 γ-演算的语法 §3.2 转换 §3.3 归约 §3.4 Church-Rosser定理 §3.5 不动点定理 §3.6 递归函数的γ-可定义性 §3.7 与递归论对应的结果 习题第四章 组合逻辑 §4.1 组合子的形式系统 §4.2 弱归约 §4.3 CL与氲亩杂 习题第五章 Turing机 §5.1 Turing机的形式描述 §5.2 Turing机的计算能力 §5.3 可判定性与停机问题 §5.4 通用Turing机 §5.5 Church-Turing论题 习题参考文献

内容摘要:

很久以来,人们一直在问“什么是计算”、“计算的范围有多大”等问题。宋方敏等编著的《计算模型导引》主要介绍递归函数、算盘机、λ-演算、组合逻辑和Turing机等计算模型。这些模型对计算机科学、哲学和数学基础产生了巨大而深远的影响。本书可作为高等学校计算机及相关专业高年级本科生和研究生的教材。 宋方敏等编著的《计算模型导引》是理论计算机科学的入门教材,主要介绍递归函数、算盘机、演算、组合逻辑和Turing机等计算模型。书中每章附有适量习题,供读者选做。 《计算模型导引》可作为高等学校计算机及相关专业高年级本科生和研究生的教材,也可作为计算机科学与技术研究人员的参考书。 【作者简介】 宋方敏,南京大学计算机科学与技术系教授,博士生导师。主要研究领域是数理逻辑和量子计算,曾主持国家自然科学基金项目、863项目和中法合作项目的研究,在国内外核心刊物上发表论文50余篇。曾获国家教委科技进步三等奖、江苏省优秀科技工作者称号和2004年度教育部提名国家科学技术奖。为本科生主讲“离散数学”和“数理逻辑”课程,为研究生主讲“计算理论”课程。

书籍规格:

书籍详细信息
书名计算模型导引站内查询相似图书
9787040347371
如需购买下载《计算模型导引》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位高等教育出版社
版次1版印次1
定价(元)33.1语种简体中文
尺寸23 × 17装帧平装
页数印数 2000

书籍信息归属:

计算模型导引是高等教育出版社于2012.6出版的中图分类号为 O24 的主题关于 计算模型-研究生-教材 的书籍。