递归函数论 【数理化】

递归论导论 【数理化】

递归函数论 【数理化】

原始递归算术 【数理化】

本书介绍原始递归算术的各种公理系统、初等算术算子、原始递归式的加强，配对函数的一般构成等。

归纳 递归 迭代 【数理化】

Grobner基与环上线性递归阵列 【数理化】

立方形递归网络 【数理化】

国家自然科学基金资助项目研究成果大连市人民政府、大连海事大学学术著作出版基金资助出版:本书系统地介绍了具有递归结构特性的互连网络模型——立方体递归网络，并研究了此网络模型的拓扑结构性质、网络参...

递归论 【数理化】

本书是一本人门书，对递归论的各个发展方向(古典的与新兴的)都作了比较详细而有系统的介绍。前四章是初等部分，详细讨论了递归函数类及其各重要子类，并以算子概念贯穿整个讨论，使读者有巩固的基础知识。后四章分...

非递归因果模型 【数理化】

本书首先简要回顾了递归模型的基本假设，然后才转入讨论非递归模型如何被应用于估计更为复杂的方程系统，其余部分大都聚焦于“辨识”问题。因为辨识方程系统是研究工作中最为困难的部分，故而努力把这一过程表述...

递归可枚举集和图灵度 可计算函数与可计算生成集研究 【数理化】

本书是递归论方面的研究生教材之一，得到了国内外同行的广泛认可。