索尔《递归可枚举集和图灵度》

索尔《递归可枚举集和图灵度》

作者:索尔

出版社:科学

出版年:2007-1

评分:8.1

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。

相关推荐

微信二维码