计算理论导引:第2版

计算理论导引:第2版
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者: [美] ,
2006-07
版次: 2
ISBN: 9787111190288
定价: 36.00
装帧: 平装
开本: 16开
纸张: 胶版纸
页数: 269页
原版书名: Introduction to the Theory of Computation
98人买过
  •   《计算理论导引》(第2版)是计算理论领域的经典著作,被国外多所大学选用用为教材。本书以注重思路、深入引导为特色,系统地介绍计算机理论的三大主要内容:自动机与语言、可计算性理论和计算复杂性理论。同时,对可计算性和计算复杂理论中的某些高级内容作了重点讲解。全书通过启发性的问题、精彩的结果和待解决问题来引导读者挑战此领域中的高层次问题。新版的一大亮点是增加了更多习题、教辅资料和部分习题解答,更加有利于教学。 Michael Sipser:麻省理工学院应用数学系教授,计算机科学和人工智能实验室(CSAIL)成员。他从事理论计算机科学与其他数学课程的教学工作25年,目前为数学系主任。他痴迷于复杂性理论,喜欢复杂性理论的教学工作。 出版者的话

    专家指导委员会

    译者序

    译者简介

    第1版前言

    第2版前言

    第0章绪论

    0.1自动机、可计算性与复杂性

    0.2数学概念和术语

    0.3定义、定理和证明

    0.4证明的类型

    练习

    问题

    习题选解

    第一部分自动机与语言

    第1章正则语言

    1.1有穷自动机

    1.2非确定性

    1.3正则表达式

    1.4非正则语言

    练习

    问题

    习题选解

    第2章上下文无关文法

    2.1上下文无关文法概述

    2.2下推自动机

    2.3非上下文无关语言

    练习

    问题

    习题选解

    第二部分可计算性理论

    第3章丘奇-图灵论题

    3.1图灵机

    3.2图灵机的变形

    3.3算法的定义

    练习

    问题

    习题选解

    第4章可判定性

    4.1可判定性

    4.2停机问题

    练习

    问题

    习题选解

    第5章可归约性

    5.1语言理论中的不可判定问题

    5.2一个简单的不可判定问题

    5.3映射可归约性

    练习

    问题

    习题选解

    第6章可计算性理论的高级专题

    6.1递归定理

    6.2逻辑理论的可判定性

    6.3图灵可归约性

    ……

    第三部分复杂性理论

    第7章时间复杂性

    第8章空间复杂性

    第9章难解性

    第10章复杂性理论高级专题

    参考文献

    索引
  • 内容简介:
      《计算理论导引》(第2版)是计算理论领域的经典著作,被国外多所大学选用用为教材。本书以注重思路、深入引导为特色,系统地介绍计算机理论的三大主要内容:自动机与语言、可计算性理论和计算复杂性理论。同时,对可计算性和计算复杂理论中的某些高级内容作了重点讲解。全书通过启发性的问题、精彩的结果和待解决问题来引导读者挑战此领域中的高层次问题。新版的一大亮点是增加了更多习题、教辅资料和部分习题解答,更加有利于教学。
  • 作者简介:
    Michael Sipser:麻省理工学院应用数学系教授,计算机科学和人工智能实验室(CSAIL)成员。他从事理论计算机科学与其他数学课程的教学工作25年,目前为数学系主任。他痴迷于复杂性理论,喜欢复杂性理论的教学工作。
  • 目录:
    出版者的话

    专家指导委员会

    译者序

    译者简介

    第1版前言

    第2版前言

    第0章绪论

    0.1自动机、可计算性与复杂性

    0.2数学概念和术语

    0.3定义、定理和证明

    0.4证明的类型

    练习

    问题

    习题选解

    第一部分自动机与语言

    第1章正则语言

    1.1有穷自动机

    1.2非确定性

    1.3正则表达式

    1.4非正则语言

    练习

    问题

    习题选解

    第2章上下文无关文法

    2.1上下文无关文法概述

    2.2下推自动机

    2.3非上下文无关语言

    练习

    问题

    习题选解

    第二部分可计算性理论

    第3章丘奇-图灵论题

    3.1图灵机

    3.2图灵机的变形

    3.3算法的定义

    练习

    问题

    习题选解

    第4章可判定性

    4.1可判定性

    4.2停机问题

    练习

    问题

    习题选解

    第5章可归约性

    5.1语言理论中的不可判定问题

    5.2一个简单的不可判定问题

    5.3映射可归约性

    练习

    问题

    习题选解

    第6章可计算性理论的高级专题

    6.1递归定理

    6.2逻辑理论的可判定性

    6.3图灵可归约性

    ……

    第三部分复杂性理论

    第7章时间复杂性

    第8章空间复杂性

    第9章难解性

    第10章复杂性理论高级专题

    参考文献

    索引
查看详情
系列丛书 / 更多
计算理论导引:第2版
Java编程思想(第4版)
[美]Bruce Eckel 著;陈昊鹏 译
计算理论导引:第2版
数据挖掘:概念与技术(原书第3版)
[美]Jiawei、[美]Micheling、[美]Jian Pei 著;范明、孟小峰 译
计算理论导引:第2版
算法导论(原书第3版)
[美]Thomas、[美]Charles、[美]Ronald、[美]Clifford Stein 著;殷建平、徐云、王刚 译
计算理论导引:第2版
数据结构与算法分析:Java语言描述
[美]马克·艾伦·维斯 著;陈越 译
计算理论导引:第2版
C程序设计语言(第2版·新版) 习题解答
吉米拜尔 著;杨涛 译;[美]汤朵
计算理论导引:第2版
C程序设计语言(第二版)
[美]Brian(布莱恩·克尼汉)、[美]Dennis M.Ritchie(丹尼斯·里奇) 著;徐宝文、李志 译
计算理论导引:第2版
深入理解计算机系统(原书第3版)
[美]兰德尔 E.布莱恩特(Randal E.·Bryant) 著;龚奕利、贺莲 译
计算理论导引:第2版
计算机科学丛书·云计算:概念、技术与架构
[美]Thomas、[英]Zaigham、[巴西]Ricardo Puttini 著;龚奕利、贺莲、胡创 译
计算理论导引:第2版
数据库系统概念:(原书第6版)
[美]Abraham、Henry、S.Sudarshan 著;杨冬青、李红燕、唐世渭 译
计算理论导引:第2版
计算机科学导论:原书第3版
[美]Behrouz Forouzan 著;刘艺 译
计算理论导引:第2版
编译原理:原理、技术与工具
[美]阿霍 著;赵建华 译
计算理论导引:第2版
需求分析与系统设计
[澳]麦斯阿塞克 著;马素霞 译
相关图书 / 更多
计算理论导引:第2版
计算机基础与实训教程
顾玲芳 编
计算理论导引:第2版
计算机网络攻击与防护
刘念;陈雪松;谈洪磊
计算理论导引:第2版
计算机组成原理与汇编语言
田民格、秦彩杰、林观俊、田佳琪
计算理论导引:第2版
计算机网络技术(第5版)
徐立新 吕书波
计算理论导引:第2版
计算天文
冯毅
计算理论导引:第2版
计算思维培养与无人机创意编程
范谊 陈宇 张锦东
计算理论导引:第2版
计算机组成原理与系统结构(第3版)
冯建文 章复嘉 赵建勇 包健 编著
计算理论导引:第2版
计算小状元 小学数学 2年级上册 bs版 小学数学单元测试 新华
作者
计算理论导引:第2版
计算机应用基础
苗苗
计算理论导引:第2版
计算机系统原理(2023年版) 全国高等教育自学考试指导委员会
全国高等教育自学考试指导委员会
计算理论导引:第2版
计算机辅助翻译教程()
赵秋荣
计算理论导引:第2版
计算机三维建模方法
易健宏 编著;李凤仙
您可能感兴趣 / 更多
计算理论导引:第2版
孩子,把你的手给我1:怎么说孩子才爱听,怎么教孩子才肯学?帮助每一位3-12岁孩子的父母结束与孩子的所有冲突!
[美]海姆·G.吉诺特
计算理论导引:第2版
怎样做成大事
[美]丹·加德纳(Dan Gardner) 著;贾拥民 译;湛庐文化 出品;[丹麦]傅以斌(Bent Flyvbjerg)
计算理论导引:第2版
1200年希腊罗马神话
[美]伊迪丝·汉密尔顿
计算理论导引:第2版
爱情心理学(新编本)
[美]罗伯特·J. 斯腾伯格 (美)凯琳·斯腾伯格 倪爱萍 译
计算理论导引:第2版
黄金圈法则
[美]西蒙·斯涅克 著;磨铁文化 出品
计算理论导引:第2版
汤姆·索亚历险记 彩图注音版 一二三四年级5-6-7-8-9岁小学生课外阅读经典 儿童文学无障碍有声伴读世界名著童话故事
[美]马克 吐温
计算理论导引:第2版
富兰克林自传 名家全译本 改变无数人命运的励志传奇 埃隆马斯克反复推荐 赠富兰克林签名照及精美插图
[美]本杰明·富兰克林 著;李自修 译
计算理论导引:第2版
意大利文艺复兴新艺术史
[美]迈克尔·韦恩·科尔 著;[美]斯蒂芬·J·坎贝尔;邵亦杨
计算理论导引:第2版
汤姆素亚历险记:中小学生课外阅读快乐读书吧 儿童文学无障碍有声伴读世界名著童话故事
[美]马克·吐温
计算理论导引:第2版
老人与海 彩图注音版 一二三四年级5-6-7-8-9岁小学生课外阅读经典 儿童文学无障碍有声伴读世界名著童话故事
[美]海明威
计算理论导引:第2版
养育的觉醒:全面激发孩子自驱力,教你如何心平气和做妈妈
[美]凯文·莱曼 著;唐晓璐 译;斯坦威 出品
计算理论导引:第2版
国际大奖图画书系列 共11册(小老鼠的恐惧的大书,大灰狼,红豆与菲比,别烦我,下雪了 ,穿靴子的猫 ,先有蛋,绿 ,特别快递,如果你想看鲸鱼 ,一个部落的孩子 ) 麦克米伦世纪
[美]莱恩·史密斯 (英)埃米莉·格雷维特 (美)劳拉·瓦卡罗·等/文 (英)埃米莉·格雷维特 等/图 彭懿 杨玲玲 阿甲 孙慧阳 白薇 译