大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 可计算性、复杂性、语言 : 理论计算机科学基础 / (美)M·D·戴维斯
名称 可计算性、复杂性、语言 : 理论计算机科学基础 / (美)M·D·戴维斯
索引号 074083
分类号
(| 08 环境公报)
作者 威尤克 E.J.、张立昂、
出版社 北京 : 清华大学出版社, 1989
ISBN 7-302-00426-9
页数 307页 ; 26cm
价格 CNY3.95
标签
简介
注解 译自: Computability, Complexity, and languages: fundamentals of theoretical computer scienceĐ□Martin D. Davis, Elaine J. Weyuker. -- Academic Pr., 1983 本书全面、系统地阐述了理论计算机科学的主要分支，包括可计算性理论、文法和自动机理论、命题演算和量词理论、计算复杂性和不可解性等 ・