|
题名:
|
计算理论导引 / (美)西普塞(Sipser,M.) , |
|
ISBN:
|
978-7-111-49971-8 价格： 0.00 |
|
载体形态:
|
458页 19cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 20150601 |
|
内容提要:
|
本书由计算理论领域的知名权威Michael Sipser所撰写。他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。本书可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。 |
|
主题词:
|
计算技术 |
|
中图分类法:
|
TP301 版次： |