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

计算理论导引

计算理论导引
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: [美] （Sipser M.） 著
出版社: 机械工业出版社
2006-01
版次: 1
ISBN: 9787111173274
定价: 49.00
装帧: 平装
开本: 16开
纸张: 胶版纸
页数: 437页
丛书: 经典原版书库
分类: 计算机与互联网
90人买过
  • 《计算理论导引（英文版）（第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
查看详情
相关分类
计算机理论 编程与开发 操作系统 大数据与云计算 图形图像/多媒体 网站设计与网页开发 网络与通讯 硬件、嵌入式开发 办公软件 信息安全 辅助设计与工程计算 软件工程/开发项目管理
系列丛书 / 更多
计算理论导引
计算机网络
[荷兰]塔嫩鲍姆（Tanenbaum A.S.） 著
￥0.80 起
计算理论导引
离散数学及其应用（英文版）（第7版）
[美]罗森 著
￥0.60 起
计算理论导引
Java编程思想：英文版·第4版
[美]埃克尔 著
￥2.00 起
计算理论导引
编译原理（英文版·第2版）
[美]阿霍 著
￥3.00 起
计算理论导引
计算机科学概论（英文版·第5版）
[美]Nell、John Lewis 著
￥0.08 起
计算理论导引
经典原版书库：电子商务（英文精编版·第10版）
[美]施内德（Gary P. Schneider） 著
￥0.01 起
计算理论导引
软件工程：实践者的研究方法（英文精编版 第8版)
[美]罗杰、[美]布鲁斯 R.马克西姆 著
￥0.20 起
计算理论导引
计算机组成与设计：硬件/软件接口（英文版•第5版•亚洲版）
[美]David、John L.Hennessy 著
￥4.00 起
计算理论导引
计算机科学引论（2017英文精编版）
[美]蒂莫西、J.、奥利里(Timothy、J.、O\\\\\\\'Leary) 著
￥0.01 起
计算理论导引
Java语言程序设计（基础篇）（英文版·第10版）
[美]梁勇（Y.Daniel Liang） 著
￥0.10 起
计算理论导引
Java语言程序设计：基础篇（英文版）（第8版）
[美]梁（Y.Daniel Liang） 著
￥0.10 起
计算理论导引
经典原版书库·数据结构与算法分析：Java语言描述（英文版·第3版）
[美]Mark Allen Weiss 著
￥0.33 起
相关图书 / 更多
计算理论导引
计算小状元 小学数学 3年级上册 BS版 徐丰 编
作者
￥6.41 起
计算理论导引
计算机网络实验教程(普通高等教育农业农村部十三五规划教材)
孙建魏晓莉 主编
￥25.50 起
计算理论导引
计算机应用基础丁璇北京邮电大学出版社9787563544622
丁璇
￥7.70 起
计算理论导引
计算机组织与结构实验教程——基于鲲鹏处理器
赖晓晨迟宗正董索宇
￥14.38 起
计算理论导引
计算机电路基础(第3版)
张虹 编者
￥30.45 起
计算理论导引
计算机应用基础实训指导 [姚蔚芳, 汪全瑞, 主编]
姚蔚芳；汪全瑞
￥3.20 起
计算理论导引
计算机软件技术的理论与实践研究
周环宇；李才有；黄兴鑫
￥25.08 起
计算理论导引
计算机导论
陈卫军 主编
￥26.70 起
计算理论导引
计算机理论与应用技术研究
周妃
￥41.04 起
计算理论导引
计算机导论(第2版微课视频版新工科建设计算机类精品教材)
吕云翔
￥22.37 起
计算理论导引
计算机辅助船舶设计实例教程
苏琳芳
￥44.98 起
计算理论导引
计算机网络理论与实践（微课版）
杨尚森
￥38.84 起
您可能感兴趣 / 更多
计算理论导引
数学旅行家 文教科普读物 （美）卡尔文・c.克劳森
[美]卡尔文・c.克劳森
￥34.80 起
计算理论导引
向世界好的医院力
[美]理查德·温特斯（RichardWinters）
￥53.00 起
计算理论导引
像作家一样阅读：提升读写能力的10堂课
[美]艾琳·M.普希曼
￥30.00 起
计算理论导引
黑的眼睛不看光明 心理学
[美]玛利亚娜·亚历山德里
￥27.56 起
计算理论导引
觉醒 外国现当代文学
[美]凯特·肖邦
￥34.87 起
计算理论导引
从众陷阱 成功学 (美)托德·罗斯(todd rose)
[美]托德·罗斯（toddrose）
￥24.51 起
计算理论导引
海洋全书：国家地理新探索
[美]西尔维娅·A.厄尔
￥88.39 起
计算理论导引
吃的勇气：365天告别饮食内耗，与食物和解
[美]伊芙琳·特里波尔（EvelynTribole）
￥34.41 起
© 2002-2025 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全