- 帖子
- 14
- 主题
- 11
- 精华
- 5
- 书签
- 0 个
- 书币
- 165 枚
- 在线时间
- 5 小时
- 注册时间
- 07-12-4
- 最后登录
- 09-5-17
|
| [book]bName=计算机理论导引;bAuthor=Michael Sipser;bISBN=711107574;bPub=;bVer=2000年2月;bLang=;bFormat=pdf;bCover=http://www.itepub.net/book.gif[/book]本书由计算理论领域的知名权威Michael Sipser撰写。他以独特的视角,综合地描述了计算机科学理论,并以清新的笔触、生动的语言给出了宽泛的数学理论,而并非拘泥于某些低层次的技术细节。在证明之前,均有“证明思路”,帮助读者理解数学形式下蕴涵的概念。同样,对于算法描述,均以直观的文字,而非伪代码给出,从而将注意力集中于算法本身,而不是某些模型。本书的内容包括三个部分:自动机与语言、可计算性理论和计算复杂性理论。本书可作为计算机专业高年级本科生和研究生的教材,也可作为教师和研究人员的参考书。 |
|