|
题名:
|
计算理论导引 / (美) 迈克尔·西普塞著 , 段磊，唐常杰等译 |
|
ISBN:
|
978-7-111-49971-8 价格： CNY69.00 |
|
语种:
|
chi |
|
载体形态:
|
XVI, 296页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2015 |
|
内容提要:
|
本书由计算理论领域的知名权威MichaelSipser所撰写。他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。 |
|
主题词:
|
计算技术 理论 |
|
中图分类法:
|
TP301 版次： 5 |
|
主要责任者:
|
西普塞 著 |
|
次要责任者:
|
段磊 译 |
|
次要责任者:
|
唐常杰 译 |
|
索书号:
|
3 |