孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

计算模型导引

计算模型导引
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: 著
出版社: 高等教育出版社
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论题
    习题
    参考文献
查看详情
相关分类
一年级 二年级 三年级 四年级 五年级 六年级 小升初 小学通用 初一 初二 初三 中考 初中通用 高一 高二 高三
相关图书 / 更多
计算模型导引
计算机软件著作权保护实证研究
李林启
￥51.90 起
计算模型导引
计算机视觉:从感知到重建
高盛华 厉征鑫
￥88.55 起
计算模型导引
计算机是怎样跑起来的（第2版）
（日） 矢泽久雄
￥46.07 起
计算模型导引
计算机程序的构造和解释（JavaScript版） [美]哈罗德·阿贝尔森 裘宗燕　译
（美）哈罗德·阿贝尔森，（美）杰拉尔德·杰伊·萨斯曼，（德）马丁·亨茨，（瑞典）托拜厄斯·瑞格斯塔德
￥53.87 起
计算模型导引
计算机应用基础 全国高等教育自学考试指导委员会
全国高等教育自学考试指导委员会
￥28.02 起
计算模型导引
计算高手三合一：口算题+竖式题+应用题 三年级下册
张秋歌
￥13.03 起
计算模型导引
计算机博弈 口袋里的人工智能 人工智能知识启蒙科普读物 阿尔法狗人机对战 计算机博弈程序核心算法 广东科技
张小川
￥12.17 起
计算模型导引
计算机文化基础（高职高专专版·第十一版）
中国省教育厅组
￥3.72 起
计算模型导引
计算机控制技术
王爽心，齐红元
￥69.58 起
计算模型导引
计算机基础及WPS Office应用标准教程（计算机等级考试一级·实战微课版）
黄灿
￥46.80 起
计算模型导引
计算的未来 王元卓 王姝
王元卓 王姝
￥52.50 起
计算模型导引
计算机艺术的形态发生（技术发展与人类未来系列·艺术人类学）
朱恬骅
￥53.91 起
您可能感兴趣 / 更多
计算模型导引
数理逻辑十二讲
宋方敏、吴骏 著
￥15.60 起
计算模型导引
量子程序设计语言
宋方敏 著；徐家福
￥35.00 起
计算模型导引
离散数学及其在计算机中的应用（第四次修订）（本科）
宋方敏 编；徐洁磐；朱怀宏
￥0.70 起
计算模型导引
离散数学及其在计算机中的应用（第三次修订）
宋方敏 编；徐洁磐；朱怀宏
￥0.50 起
计算模型导引
Martin-Lof类型论程序设计导引
宋方敏 译；[瑞典]诺德斯特龙（Nordstrom）
￥15.00 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全