检索结果-内蒙古大学图书馆

计算机学报 1980年第2期 112-118页

作者：陈火旺长沙工学院

本文使用部分递归泛函讨论一般递归函数族的判定问题,刻画一般递归函数族的某种相对可解性的特征。文中引进了一般递归函数族的“半递归”和“递归”的概念。指出了一个一般递归函数族A为递归的必要充分条件是A和R\d都是半递归的;即A和... 详细信息

本文使用部分递归泛函讨论一般递归函数族的判定问题,刻画一般递归函数族的某种相对可解性的特征。文中引进了一般递归函数族的“半递归”和“递归”的概念。指出了一个一般递归函数族A为递归的必要充分条件是A和R\d都是半递归的;即A和R\A应可分别由两个不相交的有限函数族O,O延拓而成,而O和O依其1-1编码而言是递归可枚举的,给出了A的判定手续。

关键词：一般递归函数函数族定理泛函判定问题递归

来源：评论

学校读者我要写书评

暂无评论

关于一般递归函数

引用

南京大学学报(自然科学) 1963年第7期 71-86页

作者：莫紹揆

本文中各函数均以自然数(包括0)为变目及值;所用各函数符号与时下通用的相同。但下列各函数却須作解釋。我們以x

关键词：递归式定义摹状一般递归函数原始递归函数特例函数集配对函数

来源：评论

学校读者我要写书评

暂无评论

递归函数的模拟

引用

咸阳师范学院学报 2001年第6期16卷 64-65页

作者：田俊华咸阳师范学院计算机系陕西咸阳712000

介绍了一种通用的可以将TurboC中一般递归函数转换为非递归函数变化规则。

关键词：递归栈转换规则一般递归函数非递归函数推广

来源：评论

学校读者我要写书评

暂无评论

数理逻辑的大发展

引用

语数外学习(高中版中旬) 2017年第6期 62-67页

1930年以后,数学逻辑开始成为一门专门学科,得到了蓬勃发展。哥德尔的两个定理证明之后,希尔伯特的有限主义纲领行不通,证明论出现新的情况,主要有两方面:通过放宽有限主义的限制来证明算术无矛盾性以及把证明形式化、标准化,这些主要... 详细信息

1930年以后,数学逻辑开始成为一门专门学科,得到了蓬勃发展。哥德尔的两个定理证明之后,希尔伯特的有限主义纲领行不通,证明论出现新的情况,主要有两方面:通过放宽有限主义的限制来证明算术无矛盾性以及把证明形式化、标准化,这些主要是在三十年代完成。同时哥德尔引进递归函数,发展成递归论的新分支,开始研究判定问题。而哥德尔本人转向公理集合论的研究,从此进入了公理集合论的黄金时代。五十年代模型论应运而生,它与数学有着密切联系,并逐步

关键词：哥德尔不完全性定理希尔伯特有限主义丢番图方程判定问题证明论可定义函数一般递归函数数学家

来源：评论

学校读者我要写书评

暂无评论

理论计算机科学引论

引用

计算机研究与发展 1988年第2期 1-36页

作者：马希文北京大学

本文介绍可计算理论和计算理论的基本内容,包括抽象可计算理论、递归计算、顺序计算、逻辑计算等内容。与以前的作法的主要不同是:用S表达式而不是自然数做为基本论域,用一般递归函数而不是图灵机做为基础模型。这样做可以使理论与实践... 详细信息

本文介绍可计算理论和计算理论的基本内容,包括抽象可计算理论、递归计算、顺序计算、逻辑计算等内容。与以前的作法的主要不同是:用S表达式而不是自然数做为基本论域,用一般递归函数而不是图灵机做为基础模型。这样做可以使理论与实践更加接近。以本文的内容为骨干,充实以必要的讲解,配上适当的习题,可以做为研究生一学期的教材。