O000413 递归论
出处:按学科分类—综合性图书 湖北人民出版社《中国图书大辞典:1949-1992第12册数理科学和化学、生物科学》第43页(185字)
莫绍揆着。科学出版社1987年11月版。25.9万字。系统地介绍递归论的各个发展方向。共8章。前4章是初等部分,详细讨论递归函数类及其各种重要子类,并以算子概念贯穿整个讨论,使读者具有巩固的基础知识。后4章分别介绍递归枚举性、判定问题、谱系与计算复杂性、化归与不可解度论,将读者引到科研前沿。收入“现代数学基础丛书”。
上一篇:O000411 可计算性理论导引
下一篇:O000414 数学·逻辑与哲学