基本信息
内容简介
目录
01.递归论的对象
02.基本概念,组成规则
03.可计算性与可判定性
04.函数,直接定义的函数
05.迭置(叠置)
06.特征函数
07.配对函数
08.堆积函数与求项函数
09.叠置的化归
第一章算子
10.几个重要的算子
11.算子的一种分类
12.算子的相互表示与化归(上)
13.算子的相互表示与化归(下)
14.递归生成集与函数的组成过程
15.递归生成函数集的典型构成
16.控制函数与枚举函数
第二章初等函数集
20.三大函数集
前言
本书是一本入门书,在递归论的各个发展方向上,例如可偏函数,递归枚举性,判定问题,谱系理论,计算复杂性,化归与不可解度等(不包括其推广,即所谓广义递归论),作了一些扼要的介绍.关于广义递归论以及其他一些推广,本书不予叙述.
介绍递归论中比较深一些的理论的书,对于初等部分一般只作简略叙述,这就要求读者对比较初等的部分预先有透彻的理解.我认为,在研讨比较深的理论的同时,仍需对初等部分加以巩固和提高,这对读者是有好处的.因此,本书前四章对初等部分作了详细叙述,并用算子概念贯穿整个讨论.
本书在许多地方用作者自己的独立见解加以组织和整理,以期能更加明晰而有系统.如有错误,希望读者批评指正.
莫绍揆
于1986年2月