计算模型导引

出版社:高等教育出版社
出版日期:2012-6
ISBN:9787040347371
作者:宋方敏
页数:151页

作者简介

《计算机科学与技术研究生系列教材:计算模型导引》主要介绍了计算模型领域的主要概念,方法和技术,旨在通过介绍递归函数,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论题习题参考文献

内容概要

  宋方敏,南京大学计算机科学与技术系教授,博士生导师。主要研究领域是数理逻辑和量子计算,曾主持国家自然科学基金项目、863项目和中法合作项目的研究,在国内外核心刊物上发表论文50余篇。曾获国家教委科技进步三等奖、江苏省优秀科技工作者称号和2004年度教育部提名国家科学技术奖。为本科生主讲“离散数学”和“数理逻辑”课程,为研究生主讲“计算理论”课程。


 计算模型导引下载 更多精彩书评



发布书评

 
 


精彩书评 (总计1条)

  •     此书为南京大学宋方敏老师《计算模型导引》的教材,前面@廿五 已经说得很详细了,这本书的组织结构是主要分为三个部分讲解:递归函数论、lambda演算、图灵机(其实还有算盘机)。确如宋公在书末结语写道的,计算概念的形式化是20世纪的重大科学进展之一。学习计算模型之后,对于什么是计算有了更清楚的认识。每个结论及其证明的确都是很美的,很漂亮的。以上是说这门课的意义,至于这本书。整本书主要是要点式堆积概念和定义,insight不多,并不适合自学。宋公在课上也曾说,“有的同学喜欢回去自学,我这本书不能自学的。来了一流大学,就应该来听教授讲课,不要自学。”(原话大意如此,偶有偏差)如果要学习这本书,建议在lambda演算一章可以参考Henk Barendregt 和Erik Barendsen的讲义Introduction to Lambda Calculus,符号系统和此书一样,但是examples更多,更加容易理解。图灵机一章的符号约定和国外通用的Michael Sipser的教材《Introduction to the Theory of Computation》不太一致,而且定义方式显得有点突兀。建议参考一下Sipser的书。

精彩短评 (总计5条)

  •     宋公大作
  •     人类智慧的结晶
  •     宋公计算模型导引的教材,前排已经说得很详细了,分成三部分讲解(其实还有算盘机)。整本书就是要点式堆积概念和定义,insight不多,并不适合自学。
  •     从三个方面讲了可计算理论:递归函数论、Lambda演算、图灵机。是上课用的讲义,不太适合自学。另外书中使用的符号其实完全遵循“经典”教材中采用的那一套——也就是Church、Turing、Kleene他们当年在Princeton用的那些,跟现在流行的教材中的用法有一定出入。
  •     符号使用一塌糊涂,跟国外教材差距实在太大
 

九年级,散文/随笔/书信,中国民俗,少儿英语,恋爱,烹饪理论/手册,动物医学,电子商务PDF图书下载,。 PDF下载网 

PDF下载网 @ 2019