未读消息消息

购物车

我的订单

个人中心

店铺

我的订单收藏

拍卖

拍卖交易我的竞拍收藏

我的好友资金账户

卖家中心

客服 |

帮助中心 9:00-20:30 在线留言

客服电话

010-89648155

服务时间

客服咨询 8:00-21:00

纠纷处理 9:00-21:00

图书审核 9:00-18:00

监督与建议

请选择

手机孔网

计算模型导引

作者: 宋方敏著

出版社: 高等教育出版社

出版时间: 2012-06

版次: 1

ISBN: 9787040347371

定价: 24.00

装帧: 平装

开本: 16开

纸张: 胶版纸

页数: 151页

字数: 180千字

正文语种: 简体中文

分类: 教材教辅考试>教材>研究生教材>工程技术

1 张插图图片

16人买过

《计算机科学与技术研究生系列教材：计算模型导引》是理论计算机科学的入门教材，主要介绍递归函数、算盘机、演算、组合逻辑和Turing机等计算模型。书中每章附有适量习题，供读者选做。
《计算机科学与技术研究生系列教材：计算模型导引》可作为高等学校计算机及相关专业高年级本科生和研究生的教材，也可作为计算机科学与技术研究人员的参考书。宋方敏，南京大学计算机科学与技术系教授，博士生导师。主要研究领域是数理逻辑和量子计算，曾主持国家自然科学基金项目、863项目和中法合作项目的研究，在国内外核心刊物上发表论文50余篇。曾获国家教委科技进步三等奖、江苏省优秀科技工作者称号和2004年度教育部提名国家科学技术奖。为本科生主讲“离散数学”和“数理逻辑”课程，为研究生主讲“计算理论”课程。第一章递归函数
§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.4Church-Rosser定理
§3.5不动点定理
§3.6递归函数的γ-可定义性
§3.7与递归论对应的结果
习题

第四章组合逻辑
§4.1组合子的形式系统
§4.2弱归约
§4.3CL与氲亩杂
习题

第五章Turing机
§5.1Turing机的形式描述
§5.2Turing机的计算能力
§5.3可判定性与停机问题
§5.4通用Turing机
§5.5Church-Turing论题
习题
参考文献
内容简介:
《计算机科学与技术研究生系列教材：计算模型导引》是理论计算机科学的入门教材，主要介绍递归函数、算盘机、演算、组合逻辑和Turing机等计算模型。书中每章附有适量习题，供读者选做。
《计算机科学与技术研究生系列教材：计算模型导引》可作为高等学校计算机及相关专业高年级本科生和研究生的教材，也可作为计算机科学与技术研究人员的参考书。
作者简介:
宋方敏，南京大学计算机科学与技术系教授，博士生导师。主要研究领域是数理逻辑和量子计算，曾主持国家自然科学基金项目、863项目和中法合作项目的研究，在国内外核心刊物上发表论文50余篇。曾获国家教委科技进步三等奖、江苏省优秀科技工作者称号和2004年度教育部提名国家科学技术奖。为本科生主讲“离散数学”和“数理逻辑”课程，为研究生主讲“计算理论”课程。
目录:
第一章递归函数
§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.4Church-Rosser定理
§3.5不动点定理
§3.6递归函数的γ-可定义性
§3.7与递归论对应的结果
习题

第四章组合逻辑
§4.1组合子的形式系统
§4.2弱归约
§4.3CL与氲亩杂
习题

第五章Turing机
§5.1Turing机的形式描述
§5.2Turing机的计算能力
§5.3可判定性与停机问题
§5.4通用Turing机
§5.5Church-Turing论题
习题
参考文献

查看详情

计算模型导引

内容简介:

作者简介:

目录: