|
题名:
|
计算理论导引 / (美) Michael Sipser著 , |
|
ISBN:
|
978-7-111-17327-4 价格： CNY49.00 |
|
语种:
|
eng |
|
载体形态:
|
19, 437页 图 25cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2006 |
|
内容提要:
|
本书由计算理论领域的知名权威Michael Sipser所撰写。他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。绝大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。 |
|
主题词:
|
电子计算机 理论 |
|
中图分类法:
|
TP301 版次： 5 |
|
主要责任者:
|
塞普瑟 著 |
|
版次:
|
影印版 |
|
责任者附注:
|
责任者Sipser规范汉译姓: 塞普瑟 |