【递归论】莫绍揆科学.pdf
《现代数学基础丛书》编委会 万哲先王世强王柔怀叶彦谦孙永生 庄圻泰江泽坚江泽培李大潜陈希孺 张禾瑞张恭庆严志达胡和生姜伯驹 聂灵沼莫绍曹锡华蒲保明潘承洞 副德
本书是一本人门书,对递归论的各个发展方向(古典的与新兴的)都作 了比较详细而有系统的介绍,前四章是初等部分,详细讨论了递归函数类 及其各重要子类,并以算子概念贯穿整个讨论,使读者有巩固的基础知识.后四章分别介绍递归枚举性、判定问题、谱系与计算复杂性、化归与不可解 度论,将读者引导到科研前沿,本书可供大学数学系本科生或研究生作为 现代数学基础丛书 递归论 莫绍投著 发行各地经售 * 字最:259.
4.iii.录目 01.递归论的对象.基本概念,组成规则 03.可计算性与可判定性 04.函数,直接定义的函数 05.迭置(叠置)06.特征函数 07.配对函数 08.堆积函数与求项函数 09.叠置的化归 10.几个重要的算子.11.算子的一种分类 12、算子的相互表示与化归(上)13.算子的相互表示与化归(下)14.递归生成集与函数的组成过程.递归生成函数集的典型构成 16.