打开主菜单

求真百科

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

目录

内容简介

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

作者简介

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

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

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

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

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

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

视频

算法论 相关视频

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

参考文献

  1. 文献的概念,豆丁网,2008-11-13
  2. 著作与论文的优势对比,新浪博客,2011-08-26