T007507　可计算性理论

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第16册工业技术(下)》第792页（182字）

莫绍揆等着。

科学出版社1987年12月版。28．1万字。

包括数理逻辑的递归论和形式语言论两部分。从集合、函数谈起，逐步过渡到初等函数集、原始递归集和逆归函数集，以及Turing可计算函数集，将本书的主要内容——递归论部分比较系统地进行了阐述。

书中还用一定篇幅讨论了形式语言与自动机的问题。收入“计算机科学丛书”。