算法论查看源代码讨论查看历史

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

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

内容简介

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

作者简介

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

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

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

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

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

4.本辞典收书以专著为主，少数是全集、选集，以及在科学上有开创性的论文，公认的有很高价值的单篇文学作品。

视频

算法论 相关视频

算法的基本逻辑结构 短视频算法逻辑