计算理论基础
Douban
ISBN: 9787115196576
Autor/in:
Martin Davis
/
Ron Sigal
/
ELAINE J. WEYUKER
Verlag:
人民邮电出版社
Veröffentlichungsdatum: 2009
Serie: 图灵原版计算机科学系列
Preis: CNY 79.00
Anzahl der Seiten: 607
Martin Davis / Ron Sigal …
Übersicht
本书是理论计算机科学领域的名作，是计算机科学核心主题的导论性教材。全书分为可计算性、文法与自动机、逻辑学、复杂性及语义学5个部分，分别讲述了可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性（包括NP完全问题）和编程语言的语义等主题，并展示了它们之间如何相互关联。.
本书是计算机及相关专业高年级本科生和研究生的理想教学参考书，对于计算机领域的专业人士也是很好的技术参考书。
