目前无货,
欢迎选购其他类似产品。
前翻 后翻
正在播放... 已暂停   您正在聆听的 Audible 音频版本的样品。
了解更多信息
查看此图片

计算理论导引(英文版•第2版)(新版) 平装 – 2006年1月1日

平均 4.3 星 15 条商品评论
| 天天低价·正品质优
|
分享
广告

显示所有 格式和版本 隐藏其他格式和版本
亚马逊价格
全新品最低价 非全新品最低价
平装, 2006年1月1日
 

click to open popover

无需Kindle设备,下载免费Kindle阅读软件,即可在您的手机、电脑及平板电脑上畅享阅读。

  • iPhone/iPad/Mac
  • Android手机或平板电脑

请输入您的手机号码,获取Kindle阅读软件的下载链接。



基本信息

  • 出版社: 机械工业出版社; 第1版 (2006年1月1日)
  • 丛书名: 经典原版书库
  • 平装: 437页
  • 开本: 16开
  • ISBN: 7111173279
  • 条形码: 9787111173274
  • 商品尺寸: 24.3 x 17.2 x 1.2 cm
  • 商品重量: 599 g
  • 品牌: 机械工业出版社
  • ASIN: B00116BJ3E
  • 用户评分: 平均 4.3 星 15 条商品评论
  • 亚马逊热销商品排名: 图书商品里排第381,039名 (查看图书商品销售排行榜)
  • 您想告诉我们您发现了更低的价格?

商品描述

作者简介

作者:(美)塞普瑟

Michaael Sipser:麻省理工学院应用数学系教授,计算机科学和人工智能实验室(CSAIL)成员。他从事理论计算机科学与其他数学课程的教学工作25年,目前为数学系主任。他痴迷于复杂性理论,喜欢复杂性理论的教学工作。

目录

Preface to the First Edition
To the student
To the educator
The first edition
Feedback to the author
Acknowledgments
Preface to the Sceond Edition(International)
0 Introduction
0.1 Automata,CompUTABILITY,and Complexity
Complexity theory
Computability theory
0.2 Mathematical Notions and Terminology
Sets
Sequemces and tuples
Functions and relations
Graphs
Strings and languges
Boolean logic
Summary of mathematical terms
0.3 Definitions,Theorems,and Proofs
Finding proofs
0.4 Types of Proof
Proof by construction
Proof by construction
Proof by induction
Exercises,Problims,and Solutions
Part One:Automata and Languages
1 Regular Languages
1.1 Finite Automata
Formal definition of afinite automaton
Examples of finite automata
Formal definition of computation
Designign finite automata
The regular operations
1.2 Nondeteriminism
Formal definition of a nondeterministic finite automaton
Equivalence of NFAs and DFAs
Closure under the regular operations
1.3 Regular Expressions
Formal definition of a regular expression
Equivalence with finite automata
1.4 Nonregular Languages
The pumping lemma for regulan languages
Exercises,Problems,and Solutions
2 Context-Free Languages
2.1 Conetxt-free Grammars
Formal definition of a context-free grammar
Examples of context-free grammars
Designing context-free grammars
Ambiguity
Chomaky mormal form
2.2 Pushdown Automata
Formal definition of a pushdown automaton
Examples of pushdown autonata
Equivalence wish context-free grammars
2.3 Non-context-free Languages
The pumping lemma for context-free languages
Exercises,Problems,and Solutions
Part Two:Computability Theory
Part Three:Computability Theory
Selected Bibliography
Index


买家评论

热门买家评论

于 2012年12月1日
版本: 平装
0回应| 1 个人发现此评论有用. 这条评论对您有用吗?报告滥用情况
于 2012年10月21日
版本: 平装|已确认购买
0回应|这条评论对您有用吗?报告滥用情况
于 2012年7月31日
版本: 平装|已确认购买
0回应|这条评论对您有用吗?报告滥用情况
于 2008年11月10日
版本: 平装|已确认购买
0回应| 2 个人发现此评论有用. 这条评论对您有用吗?报告滥用情况
于 2014年7月13日
版本: 平装
0回应|这条评论对您有用吗?报告滥用情况
于 2013年9月22日
版本: 平装|已确认购买
0回应| 1 个人发现此评论有用. 这条评论对您有用吗?报告滥用情况
于 2013年9月24日
版本: 平装
0回应| 1 个人发现此评论有用. 这条评论对您有用吗?报告滥用情况
于 2010年8月10日
版本: 平装|已确认购买
0回应|这条评论对您有用吗?报告滥用情况