開啟主選單
求真百科
搜尋
檢視 算法论 的原始碼
←
算法论
由於下列原因,您沒有權限進行 編輯此頁面 的動作:
您請求的操作只有這個群組的使用者能使用:
用戶
您可以檢視並複製此頁面的原始碼。
[[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 類書總論;百科全書總論]]
返回「
算法论
」頁面