算法論

原圖鏈接來自 孔夫子舊書網 的圖片

《算法論》，數理邏輯算法論專著與教科書。阿·阿·馬爾科夫著。蘇聯莫斯科科學出版社1954年出版。中譯本上、下冊中國科學出版社分別於1959、1960年出版，上冊胡世華、唐稚松、何成武譯，下冊何成武譯。收編於《世界百科名著大辭典》。

目錄

內容簡介

本書將算法概念加以嚴格的數學處理，並建立了一個完整的「正規算法」理論，運用這一理論解決了若干數學中的判定問題。所論述的正規算法理論是關於能行性理論方面引人重視的一種，已在程序理論，構造數學和判定問題得到了廣泛深入的應用。中譯本上冊共5章，第6章為下冊。第1章介紹字母、字母表、字和出現等基本概念；第2章定義正規算法概念並列舉了一些重要的例子；第3章介紹正規算法的一些重要性質與構造；第4章引進了通用算法的概念；第5章證明了算法不可能性的基本定理；第6章介紹了若干結合系統，證明了若干不可判定的問題。正規算法是與圖靈機器、遞歸函數、λ演算相等價的重要的算法概念。本書對它作了詳盡的介紹，並用它解決了若干重要的問題。

作者簡介

阿·阿·馬爾科夫(А.А.Марков)，蘇聯數理邏輯學家。列寧格勒大學教授，曾在蘇聯科學院數學研究所任職。1947年在蘇聯科學院報告中發表論文《論組合系統中某些算法的不可能性》，隨後，又在算法不可解方面獲得若干影響深遠的結果。

《世界百科名著大辭典》相關信息

1.本辭典為書籍文獻的綜合性、科學性和知識性的工具書。選收自然科學、技術科學、綜合性科學、社會和人文科學、文學藝術的各個學科，以及宗教的名著和重要典籍。

2.本辭典以具有大專以上文化程度的人為主要對象。

3.本辭典根據科學文化知識體系的聯繫和區別、適應社會和讀者的需要、為了檢索和閱讀方便，分為自然和技術科學、社會和人文科學、文學藝術(不含藝術作品) 3冊。各冊相對獨立，又互相聯繫。

4.本辭典收書以專著為主，少數是全集、選集，以及在科學上有開創性的論文，公認的有很高價值的單篇文學作品。

視頻

算法論 相關視頻

算法的基本邏輯結構 短視頻算法邏輯