T007507 可计算性理论

书籍:中国图书大辞典:1949-1992第16册工业技术(下) 更新时间:2018-09-19 11:05:02

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

莫绍揆等着。

科学出版社1987年12月版。28.1万字。

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

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

分享到: