檢視算法与递归函数的原始碼

[[File:算法与递归函数.jpeg|有框|右|<big></big>[https://www.kfzimg.com/sw/kfzimg/2493/02042f777a07f88bb2_s.jpg 原图链接][https://search.kongfz.com/product_result/?key=%E7%AE%97%E6%B3%95%E4%B8%8E%E9%80%92%E5%BD%92%E5%87%BD%E6%95%B0&status=0&_stpmt=eyJzZWFyY2hfdHlwZSI6ImFjdGl2ZSJ9 来自 孔夫子旧书网 的图片]]]

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

==内容简介==

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

==作者简介==

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

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

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

2.一部著作，或一篇[[论文]]、作品，立为一条词目。古籍<ref>[https://www.neac.gov.cn/seac/mzwh/201607/1078532.shtml 中国古籍和中国少数民族古籍的定义]，中华人民共和国国家民族事务委员会， 2016-07-26</ref>中个别篇章，习惯上认为有特殊意义的，也独立设目。

3.一部著作<ref>[https://www.sohu.com/a/404903363_448629 专著和论文哪个含金量高]，搜狐，2020-06-30</ref>一般只在一卷出现。少数著作是几个学科不可缺少的，在有关各卷互见。互见[[条目]]用(参见第 页)注明。

==视频==
===<center> 算法与递归函数 相关视频</center>===
<center>23 递归函数与递归算法应用实例</center>
<center>{{#iDisplay:b03498c9gly|560|390|qq}}</center>

<center>Python递归算法</center>
<center>{{#iDisplay:p3077cjkggm|560|390|qq}}</center>

==参考文献==
[[Category:040 類書總論；百科全書總論]]