盘天下 | 免费精选资源分享

作者简介

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

内容简介

《 计算机科学与技术 研究生 系列 教材:计算模型导引》主要介绍了计算模型领域的主要概念， 方法 和技术，旨在通过介绍递归函数，Lambda演算和Turing机来理解计算理论。本课程讲述如下专题：递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。 书中每章附有适量习题，供读者选做。

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

下载地址

• 诚通网盘 提取码：8866
• 迅雷网盘 提取码：q288

本站夸克网盘精选资源合集：https://pan.quark.cn/s/936c760dd840