计算理论导引（第2版）
网友科普
《计算理论导引（第2版）》是由美国学者迈克尔·西普塞（Michael Sipser）所著、唐常杰等翻译的理论教材，2006年7月由机械工业出版社出版，属“计算机科学丛书”系列，ISBN为9787111190288，定价36元。全书共269页，分为自动机与语言、可计算性理论、计算复杂性理论三大核心部分，涵盖正则语言、图灵机、NP完全性等章节，并涉及递归定理、交互式证明系统等高级专题。该书采用启发式问题引导模式，第2版新增习题数量及部分习题解答，配套教学资源包含电子书及试读渠道，被国外多所大学采用为教材。其内容为计算机专业高年级本科生及研究生提供计算模型理论基础，适用于形式语言、编译原理等领域的学...
问AI百科
百科AI智能，探索更多与"计算理论导引（第2版）"相关的知识