沈阳工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

递归论/莫绍揆著

出版发行项:

北京:科学出版社,1987

ISBN及定价:

978-7-03-000050-7/CNY138.00

载体形态项:

308页:图;24cm

丛编项:

现代数学基础丛书:典藏版/主编程民德;23

个人责任者:

莫绍揆 著

学科主题:

递归论

中图法分类号:

O141.3

书目附注:

有书目 (第307-308页)

提要文摘附注:

本书是一本人门书, 对递归论的各个发展方向(古典的与新兴的)都作了比较详细而有系统的介绍。前四章是初等部分, 详细讨论了递归函数类及其各重要子类, 并以算子概念贯穿整个讨论, 使读者有巩固的基础知识。后四章分别介绍递归枚举性、判定问题、谱系与计算复杂性、化归与不可解度论, 将读者引导到科研前沿。

豆瓣简介：