返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:

  • 可计算性与计算复杂性导引 张立昂 著作 大中专 文轩网
  • 新华书店正版
    • 作者: 张立昂著
    • 出版社: 北京大学出版社
    • 出版时间:2011-08-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    文轩网图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

         https://product.suning.com/0070067633/11555288247.html

     

    商品参数
    • 作者: 张立昂著
    • 出版社:北京大学出版社
    • 出版时间:2011-08-01 00:00:00
    • 版次:3
    • 印次:1
    • 印刷时间:2011-08-01
    • 字数:415.00千字
    • 页数:256
    • 开本:16开
    • 装帧:平装
    • 国别/地区:中国
    • 版权提供:北京大学出版社

    可计算性与计算复杂性导引

    作  者:张立昂 著作
    定  价:35
    出 版 社:北京大学出版社
    出版日期:2011年08月01日
    页  数:256
    装  帧:平装
    ISBN:9787301177686
    主编推荐

    《可计算性与计算复杂性导引(第3版)》是高等院校计算机专业及专业基础课系列教材,北京高等教育精品教材之一。

    内容简介

    《可计算性与计算复杂性导引(第3版)》是学习计算理论的教材和参考书,内容包括三部分:可计算性、形式语言与自动机、计算复杂性.主要介绍几种计算模型及它们的等价性,函数、谓词和语言的可计算性等基本概念,形式语言及其对应的自动机模型,时间和空间复杂性,np接近性等. 《可计算性与计算复杂性导引(第3版)》可作为计算机专业本科生和研究生的教材,也可作为从事计算机科学技术的研究和开发人员的参考书,还可作为对计算理论感兴趣的读者的入门读物.

    作者简介

    精彩内容

    目录
    第一章 程序设计语言y和可计算函数
    1.1 预备知识
    1.2 Church-Turing论题
    1.3 程序设计语言y
    1.4 可计算函数
    1.5 宏指令
    习题

    第二章 原始递归函数
    2.1 原始递归函数
    2.2 原始递归谓词
    2.3 迭代运算、有界量词和极小化
    2.4 配对函数和G6de数
    2.5 原始递归运算
    2.6 Ackermann函数
    2.7 字函数的可计算性
    习题

    第三章 通用程序
    3.1 程序的代码
    3.2 停机问题
    3.3 通用程序
    3.4 递归可枚举集
    习题

    第四章 Turing机
    4.1 Turing机的基本模型
    4.2 Turing机的各种形式
    4.3 Turing机与可计算性
    4.4 Turing机接受的语言
    4.5 非确定型Turing机
    习题

    第五章 过程与文法
    5.1 半Thue过程
    5.2 用半Thue过程模拟Turing机
    5.3 文法
    5.4 再论递归可枚举集
    5.5 部分递归函数
    5.6 再论Church-Turing论题
    习题

    第六章 不可判定的问题
    6.1 判定问题
    6.2 Turing机的停机问题
    6.3 字问题和Post对应问题
    6.4 有关文法的不可判定问题
    6.5 一阶逻辑中的判定问题_
    习题

    第七章 正则语言
    7.1 Chomsky谱系
    7.2 有穷自动机
    7.3 有穷自动机与正则文法的等价性
    7.4 正则表达式
    7.5 非正则语言
    习题

    第八章 上下文无关语言
    8.1 上下文无关文法
    8.2 Chomsky范式
    8.3 Bar-Hillel泵引理
    8.4 下推自动机
    8.5 上下文无关文法与下推自动机的等价性
    8.6 确定型下推自动机
    8.7 上下文有关文法
    习题

    第九章 时间复杂性与空间复杂性
    9.1 Turing机的运行时间和工作空间
    9.2 计算复杂性类
    9.3 复杂性类的真包含关系
    习题

    第十章 NP接近性
    10.1 P与NP
    10.2 多项式时间变换和NP接近性
    10.3 Cook定理
    10.4 若干NP接近问题
    10.5 CONP
    习题

    第十一章 NP类的外面
    11.1 PSPACE接近问题
    11.2 一个难解问题
    习题

    第十二章 P类的里面
    12.1 若干例子
    12.2 对数空间变换
    12.3 NL类
    12.4 P接近问题
    习题

    第十三章 随机算法与随机复杂性类
    13.1 随机算法
    13.2 随机复杂性类
    习题
    习题解答
    附录
    附录A记号
    附录B中英文名词索引
    参考文献 

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购