算法与递归函数查看源代码讨论查看历史

原图链接来自 孔夫子旧书网 的图片

《算法与递归函数》，数理逻辑中算法论重要教科书。马尔采夫著。苏联莫斯科科学出版社1965年出版，1986年第2版。收编于《世界百科名著大辞典》。

内容简介

本书6章16节，每节附有补充叙述、例子及习题。第1章基本概念。阐述了函数、运算、基本可计算算子等概念。第2章原始递归函数及递归可枚举集。第3章一般递归函数与部分递归函数。第4章编号和。讨论了集合与函数的和的编号，集合的可编译性和可创造性，任意和的编号，集合的通用系统和可创造系统。第5章算法与图灵机。讨论了字典集合与函数，图灵机及其应用。第6章图灵—波斯特机与算法的变型。讨论了算法和算子算法、多带机、тАΓ系统、刁番图方程。本书具有重要学术价值。它系统论述了算法与递归函数的理论。精确定义了各种递归函数类，证明了这些函数类的基本特性，并构造了一个具有一系列特殊重要性的递归函数。研究了各种算法类，并使之能够用于计算任意递归函数，又与图灵—波斯特机具有紧密联系。指出了算法理论如何应用于代数、数理逻辑和数论。书中所包含的许多补充材料，对于从事数理逻辑、程序理论及数理语言学等学科的研究生和科技工作者均颇有裨益。

作者简介

马尔采夫(1909—1967)，苏联数学家、逻辑学家，苏联科学院院士。基本工作方向为代数和数理逻辑。是模型论创建人之一。其“局部性定理”开创了数理逻辑方法在代数中的系统应用。在群论、环论、线性代数、拓朴代数、群与李代数及算法论方面都有创造性研究。

《世界百科名著大辞典》凡例

1.本辞典为书籍文献的综合性、科学性和知识性的工具书。选收自然科学、技术科学、综合性科学、社会和人文科学、文学艺术的各个学科，以及宗教的名著和重要典籍。

2.一部著作，或一篇论文、作品，立为一条词目。古籍中个别篇章，习惯上认为有特殊意义的，也独立设目。

3.一部著作一般只在一卷出现。少数著作是几个学科不可缺少的，在有关各卷互见。互见条目用(参见第 页)注明。

视频

算法与递归函数 相关视频

23 递归函数与递归算法应用实例 Python递归算法