《遞歸可枚集合和圖靈度:可計算函式與可計算生成集研究(影印版)》主要內容
基本介紹
- 作者：索爾
- ISBN：9787030182951
- 頁數：437
- 定價：78.00元
- 出版社：科學
- 出版時間：2007-1
- 叢書： 國外數學名著系列
內容介紹,包括,
內容介紹
《遞歸可枚集合和圖靈度:可計算函式與可計算生成集研究(影印版)》主要內容
包括
：An Informal DescriptionFormal Definitions of Computable FunctionsPrimitive Recursive Functions.Diagonalization and Partial Recursive FunctionsTuring Computable FunctionsThe Basic ResultsRecursive Permutations and Myhill's Isomorphism TheoremFundamentals of Recursively Enumerable Sets and the Recursion Theorem。
