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

计算理论导引

计算理论导引
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: [美] （Sipser M.） 著
出版社: 机械工业出版社
2006-01
版次: 1
ISBN: 9787111173274
定价: 49.00
装帧: 平装
开本: 16开
纸张: 胶版纸
页数: 437页
丛书: 经典原版书库
分类: 计算机与互联网
85人买过
  • 《计算理论导引（英文版）（第2版）（新版）》由计算机理论领域的知名权威MichaaelSipser所撰写。他以独特的视角，系统地介绍了计算机理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。约大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下涵的概念。同样，对于算法描述，均以直观的文字而非伪代码给出，从而将注意力集中于算法本身，而不是某些模型。新版根据多年来使用本书的教师和学生的建议进行了改进，并对课堂测试题进行了全面的更新，每章末均有样例解答。
    《计算理论导引（英文版）（第2版）（新版）》可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。 Michaael Sipser：麻省理工学院应用数学系教授，计算机科学和人工智能实验室（CSAIL）成员。他从事理论计算机科学与其他数学课程的教学工作25年，目前为数学系主任。他痴迷于复杂性理论，喜欢复杂性理论的教学工作。 PrefacetotheFirstEdition
    Tothestudent
    Totheeducator
    Thefirstedition
    Feedbacktotheauthor
    Acknowledgments
    PrefacetotheSceondEdition（International）
    0Introduction
    0.1Automata,CompUTABILITY,andComplexity
    Complexitytheory
    Computabilitytheory
    0.2MathematicalNotionsandTerminology
    Sets
    Sequemcesandtuples
    Functionsandrelations
    Graphs
    Stringsandlanguges
    Booleanlogic
    Summaryofmathematicalterms
    0.3Definitions,Theorems,andProofs
    Findingproofs
    0.4TypesofProof
    Proofbyconstruction
    Proofbyconstruction
    Proofbyinduction
    Exercises,Problims,andSolutions

    PartOne:AutomataandLanguages
    1RegularLanguages
    1.1FiniteAutomata
    Formaldefinitionofafiniteautomaton
    Examplesoffiniteautomata
    Formaldefinitionofcomputation
    Designignfiniteautomata
    Theregularoperations
    1.2Nondeteriminism
    Formaldefinitionofanondeterministicfiniteautomaton
    EquivalenceofNFAsandDFAs
    Closureundertheregularoperations
    1.3RegularExpressions
    Formaldefinitionofaregularexpression
    Equivalencewithfiniteautomata
    1.4NonregularLanguages
    Thepumpinglemmaforregulanlanguages
    Exercises,Problems,andSolutions
    2Context-FreeLanguages
    2.1Conetxt-freeGrammars
    Formaldefinitionofacontext-freegrammar
    Examplesofcontext-freegrammars
    Designingcontext-freegrammars
    Ambiguity
    Chomakymormalform
    2.2PushdownAutomata
    Formaldefinitionofapushdownautomaton
    Examplesofpushdownautonata
    Equivalencewishcontext-freegrammars
    2.3Non-context-freeLanguages
    Thepumpinglemmaforcontext-freelanguages
    Exercises,Problems,andSolutions

    PartTwo:ComputabilityTheory
    PartThree:ComputabilityTheory
    SelectedBibliography
    Index
  • 内容简介:
    《计算理论导引（英文版）（第2版）（新版）》由计算机理论领域的知名权威MichaaelSipser所撰写。他以独特的视角，系统地介绍了计算机理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。约大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下涵的概念。同样，对于算法描述，均以直观的文字而非伪代码给出，从而将注意力集中于算法本身，而不是某些模型。新版根据多年来使用本书的教师和学生的建议进行了改进，并对课堂测试题进行了全面的更新，每章末均有样例解答。
    《计算理论导引（英文版）（第2版）（新版）》可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。
  • 作者简介:
    Michaael Sipser：麻省理工学院应用数学系教授，计算机科学和人工智能实验室（CSAIL）成员。他从事理论计算机科学与其他数学课程的教学工作25年，目前为数学系主任。他痴迷于复杂性理论，喜欢复杂性理论的教学工作。
  • 目录:
    PrefacetotheFirstEdition
    Tothestudent
    Totheeducator
    Thefirstedition
    Feedbacktotheauthor
    Acknowledgments
    PrefacetotheSceondEdition（International）
    0Introduction
    0.1Automata,CompUTABILITY,andComplexity
    Complexitytheory
    Computabilitytheory
    0.2MathematicalNotionsandTerminology
    Sets
    Sequemcesandtuples
    Functionsandrelations
    Graphs
    Stringsandlanguges
    Booleanlogic
    Summaryofmathematicalterms
    0.3Definitions,Theorems,andProofs
    Findingproofs
    0.4TypesofProof
    Proofbyconstruction
    Proofbyconstruction
    Proofbyinduction
    Exercises,Problims,andSolutions

    PartOne:AutomataandLanguages
    1RegularLanguages
    1.1FiniteAutomata
    Formaldefinitionofafiniteautomaton
    Examplesoffiniteautomata
    Formaldefinitionofcomputation
    Designignfiniteautomata
    Theregularoperations
    1.2Nondeteriminism
    Formaldefinitionofanondeterministicfiniteautomaton
    EquivalenceofNFAsandDFAs
    Closureundertheregularoperations
    1.3RegularExpressions
    Formaldefinitionofaregularexpression
    Equivalencewithfiniteautomata
    1.4NonregularLanguages
    Thepumpinglemmaforregulanlanguages
    Exercises,Problems,andSolutions
    2Context-FreeLanguages
    2.1Conetxt-freeGrammars
    Formaldefinitionofacontext-freegrammar
    Examplesofcontext-freegrammars
    Designingcontext-freegrammars
    Ambiguity
    Chomakymormalform
    2.2PushdownAutomata
    Formaldefinitionofapushdownautomaton
    Examplesofpushdownautonata
    Equivalencewishcontext-freegrammars
    2.3Non-context-freeLanguages
    Thepumpinglemmaforcontext-freelanguages
    Exercises,Problems,andSolutions

    PartTwo:ComputabilityTheory
    PartThree:ComputabilityTheory
    SelectedBibliography
    Index
查看详情
其他版本 / 全部 (5)
系列丛书 / 更多
计算理论导引
计算机网络
[荷兰]塔嫩鲍姆（Tanenbaum A.S.） 著
￥1.00 起
计算理论导引
Java编程思想：英文版·第4版
[美]埃克尔 著
￥3.50 起
计算理论导引
计算机科学概论（英文版·第5版）
[美]Nell、John Lewis 著
￥0.10 起
计算理论导引
编译原理（英文版·第2版）
[美]阿霍 著
￥0.01 起
计算理论导引
经典原版书库：电子商务（英文精编版·第10版）
[美]施内德（Gary P. Schneider） 著
￥0.06 起
计算理论导引
计算机组成与设计：硬件/软件接口（英文版•第5版•亚洲版）
[美]David、John L.Hennessy 著
￥3.50 起
计算理论导引
现代操作系统（英文版·第4版）
[美]Andrew S. Tanenbaum、Herbert Bos 著
￥5.00 起
计算理论导引
离散数学及其应用（英文版）（第7版）
[美]罗森 著
￥2.00 起
计算理论导引
计算机文化：（英文版·第15版）
[美]帕森斯（June Jamrich Parsons）、[美]奥贾（Dan Oja） 著
￥0.10 起
计算理论导引
Java语言程序设计：基础篇（英文版）（第8版）
[美]梁（Y.Daniel Liang） 著
￥0.01 起
计算理论导引
Java语言程序设计（基础篇）（英文版·第10版）
[美]梁勇（Y.Daniel Liang） 著
￥0.50 起
计算理论导引
软件工程：实践者的研究方法（英文精编版 第8版)
[美]罗杰、[美]布鲁斯 R.马克西姆 著
￥0.49 起
相关图书 / 更多
计算理论导引
计算机基础与实训教程
顾玲芳 编
￥21.00 起
计算理论导引
计算机网络攻击与防护
刘念；陈雪松；谈洪磊
￥33.08 起
计算理论导引
计算机组成原理与汇编语言
田民格、秦彩杰、林观俊、田佳琪
￥54.06 起
计算理论导引
计算机网络技术（第5版）
徐立新 吕书波
￥35.16 起
计算理论导引
计算天文
冯毅
￥40.00 起
计算理论导引
计算思维培养与无人机创意编程
范谊 陈宇 张锦东
￥35.35 起
计算理论导引
计算机组成原理与系统结构（第3版）
冯建文 章复嘉 赵建勇 包健 编著
￥56.20 起
计算理论导引
计算小状元 小学数学 2年级上册 bs版 小学数学单元测试 新华
作者
￥6.09 起
计算理论导引
计算机应用基础
苗苗
￥18.60 起
计算理论导引
计算机系统原理（2023年版） 全国高等教育自学考试指导委员会
全国高等教育自学考试指导委员会
￥32.45 起
计算理论导引
计算机辅助翻译教程（）
赵秋荣
￥29.39 起
计算理论导引
计算机三维建模方法
易健宏 编著；李凤仙
￥21.30 起
您可能感兴趣 / 更多
计算理论导引
孩子，把你的手给我1：怎么说孩子才爱听，怎么教孩子才肯学？帮助每一位3-12岁孩子的父母结束与孩子的所有冲突！
[美]海姆·G.吉诺特
￥10.26 起
计算理论导引
怎样做成大事
[美]丹·加德纳（Dan Gardner） 著；贾拥民 译；湛庐文化 出品；[丹麦]傅以斌（Bent Flyvbjerg）
￥43.28 起
计算理论导引
1200年希腊罗马神话
[美]伊迪丝·汉密尔顿
￥78.96 起
计算理论导引
爱情心理学（新编本）
[美]罗伯特·J. 斯腾伯格 (美)凯琳·斯腾伯格 倪爱萍 译
￥39.30 起
计算理论导引
黄金圈法则
[美]西蒙·斯涅克 著；磨铁文化 出品
￥49.00 起
计算理论导引
汤姆·索亚历险记 彩图注音版 一二三四年级5-6-7-8-9岁小学生课外阅读经典 儿童文学无障碍有声伴读世界名著童话故事
[美]马克 吐温
￥5.51 起
计算理论导引
富兰克林自传 名家全译本 改变无数人命运的励志传奇 埃隆马斯克反复推荐 赠富兰克林签名照及精美插图
[美]本杰明·富兰克林 著；李自修 译
￥29.05 起
计算理论导引
意大利文艺复兴新艺术史
[美]迈克尔·韦恩·科尔 著；[美]斯蒂芬·J·坎贝尔；邵亦杨
￥345.17 起
计算理论导引
汤姆素亚历险记：中小学生课外阅读快乐读书吧 儿童文学无障碍有声伴读世界名著童话故事
[美]马克·吐温
￥7.77 起
计算理论导引
老人与海 彩图注音版 一二三四年级5-6-7-8-9岁小学生课外阅读经典 儿童文学无障碍有声伴读世界名著童话故事
[美]海明威
￥5.51 起
计算理论导引
养育的觉醒：全面激发孩子自驱力，教你如何心平气和做妈妈
[美]凯文·莱曼 著；唐晓璐 译；斯坦威 出品
￥17.40 起
计算理论导引
国际大奖图画书系列 共11册（小老鼠的恐惧的大书，大灰狼，红豆与菲比，别烦我，下雪了 ，穿靴子的猫 ，先有蛋，绿 ，特别快递，如果你想看鲸鱼 ，一个部落的孩子 ） 麦克米伦世纪
[美]莱恩·史密斯 (英)埃米莉·格雷维特 (美)劳拉·瓦卡罗·等/文 (英)埃米莉·格雷维特 等/图 彭懿 杨玲玲 阿甲 孙慧阳 白薇 译
￥5.00 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全