檢視算法论的原始碼

[[File:算法论.jpeg|有框|右|<big></big>[https://www.kfzimg.com/G07/M00/56/88/qoYBAFy70WqAU4qwAAIECIcevKI032_s.jpg 原图链接][http://bq.kongfz.com/detail_18526637/ 来自 孔夫子旧书网 的图片]]]

《'''算法论'''》，数理逻辑算法论专著与[[教科书]]。阿·阿·马尔科夫著。苏联莫斯科科学出版社1954年出版。中译本上、下册中国科学出版社分别于1959、1960年出版，上册胡世华、唐稚松、何成武译，下册何成武译。收编于《世界百科名著大辞典》。

==内容简介==

本书将算法概念加以严格的数学处理，并建立了一个完整的“正规算法”理论，运用这一理论解决了若干数学中的判定问题。所论述的正规算法理论是关于能行性理论方面引人重视的一种，已在程序理论，构造数学和判定问题得到了广泛深入的应用。中译本上册共5章，第6章为下册。第1章介绍字母、字母表、字和出现等基本概念；第2章定义正规算法概念并列举了一些重要的例子；第3章介绍正规算法的一些重要性质与构造；第4章引进了通用算法的概念；第5章证明了算法不可能性的基本定理；第6章介绍了若干结合系统，证明了若干不可判定的问题。正规算法是与图灵机器、递归[[函数]]、λ演算相等价的重要的算法概念。本书对它作了详尽的介绍，并用它解决了若干重要的问题。

==作者简介==

阿·阿·马尔科夫(А.А.Марков)，苏联数理逻辑学家。列宁格勒大学[[教授]]，曾在苏联科学院数学研究所任职。1947年在苏联科学院报告中发表论文《论组合系统中某些算法的不可能性》，随后，又在算法不可解方面获得若干影响深远的结果。

==《世界百科名著大辞典》相关信息==

1.本[[辞典]]为书籍文献<ref>[https://www.docin.com/p-2901595.html 文献的概念]，豆丁网，2008-11-13</ref>的综合性、科学性和知识性的工具书。选收[[自然科学]]、技术科学、综合性科学、社会和人文科学、文学艺术的各个学科，以及宗教的名著和重要典籍。

2.本辞典以具有大专以上文化程度的人为主要对象。

3.本辞典根据科学文化知识体系的联系和区别、适应社会和读者的需要、为了检索和阅读方便，分为自然和技术科学、社会和[[人文科学]]、文学艺术(不含艺术作品) 3册。各册相对独立，又互相联系。

4.本辞典收书以专著为主，少数是全集、选集，以及在科学上有开创性的[[论文]]<ref>[http://blog.sina.com.cn/s/blog_8a8612390100wqio.html 著作与论文的优势对比]，新浪博客，2011-08-26</ref>，公认的有很高价值的单篇[[文学]]作品。

==视频==
===<center> 算法论 相关视频</center>===
<center>算法的基本逻辑结构</center>
<center>{{#iDisplay:m0957qa93cg|560|390|qq}}</center>

<center>短视频算法逻辑</center>
<center>{{#iDisplay:s0958pu7ny2|560|390|qq}}</center>

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