递归论 7030000501 莫绍揆著 现代数学基础丛书 O141.3 科学出版社 1987-11 1987 1987 本书是一本入门书,对递归论的各个发展方向(古典的与新兴的)都作了比较详细而有系统的介绍.前四章是初等部分,详细讨论了递归函数类及其各重要子类,并以算子概念贯穿整个讨论,使读者有巩固的基础知识.后四章分别介绍递归枚举性、判定问题、谱系与计算复杂性、化归与不可解度论,将读者引导到科研
微信公众账号
微信扫一扫加关注
发表评论 取消回复