[PDF] 计算机模型导引电子书

计算机模型导引

作者：宋方敏

页数：151

出版社：高等教育出版社

出版日期：2020

ISBN：9787040347371

高清校对版pdf（带目录）

夸克网盘：https://pan.quark.cn/s/25825f224fdd

百度网盘：https://pan.baidu.com/s/1nfOs-F3BSopw-axofq4_Eg?pwd=5dgj

内容简介

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

作者简介

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

本书特色

很久以来，人们一直在问“什么是计算”、“计算的范围有多大”等问题。宋方敏等编著的《计算模型导引》主要介绍递归函数、算盘机、λ-演算、组合逻辑和Turing机等计算模型。这些模型对计算机科学、哲学和数学基础产生了巨大而深远的影响。本书可作为高等学校计算机及相关专业高年级本科生和研究生的教材。

第一章递归函数§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与氲亩杂习题第五章 Turi