递归可枚举集和图灵度读书介绍
类别 | 页数 | 译者 | 网友评分 | 年代 | 出版社 |
---|---|---|---|---|---|
书籍 | 437页 | 9.2 | 2020 | 科学 |
定价 | 出版日期 | 最近访问 | 访问指数 |
---|---|---|---|
78.00元 | 2020-02-20 … | 2020-06-07 … | 29 |
主题/类型/题材/标签
数学,递归论,数理逻辑,计算复杂性,逻辑,计算机科学,Computability,逻辑学,
作者
索尔 ISBN:9787030182951 原作名/别名:《》
内容和作者简介
递归可枚举集和图灵度摘要
《递归可枚集合和图灵度:可计算函数与可计算生成集研究(影印版)》主要内容包括: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。
作者简介本书后续版本
未发行或暂未收录
喜欢读〖递归可枚举集和图灵度〗的人也喜欢:
相关搜索
友情提示
剧情呢,免费看分享剧情、挑选影视作品、精选好书简介分享。