郑锡忠

作品数：10被引量：2H指数：1
导出分析报告
供职机构：南京大学数学系更多>>
发文主题：递归函数递归论分枝极大性图论更多>>
发文领域：理学自动化与计算机技术自然科学总论更多>>
发文期刊：《Chinese Quarterly Journal of Mathematics》《科学通报》《软件学报》《数学年刊（A辑）》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
关于p－m度的分裂
《软件学报》1994年第4期53-59,共7页郑锡忠 
国家自然科学基金
本文讨论多项式时间多一可化归度（ｐ－ｍ度）的分裂间题．主要结果是：存在非零的ｐ－ｍ度ａ，对任何自然数ｎ≥１当ａ分裂成ｎ＋１个度ａ０，ａ１，…，ａｎ的并时，其中至少有ｎ对（ａｉ，ａｊ）（ｉ≠ｊ；ｉ，ｊ≤ｎ）不是极小对．...
关键词：分裂 p-m度 递归论 多项式 
Grzegorczyk分层的一种延伸
《软件学报》1994年第3期55-64,共10页郑锡忠 钱磊 
国家自然科学基金
本文讨论某些递归函数类的分层问题．首先给出的是原始的Ｇｏｒｚｅｇｏｒｃｚｙｋ分层的一种较为简单的等价定义．然后，作为对Ａｃｋｅｒｍａｎｎ函数的一种推广，定义了一个递归函数序列｛Ａｎ｝ｎ∈ω．并以此作为分层函数列定义了...
关键词：递归函数 G-分层 分层 Z-分层 
二重递归函数及其分层
《Journal of Mathematical Research and Exposition》1993年第2期303-308,共6页郑锡忠 
国家自然科学基金资助项目
本文讨论R.Péter[3]所提出的二重递归函数的性质,给出了二重递归函数的另一种等价刻画,即证明了二重速归函数类就是文[6]中所讨论的Z—分层函数类Z=(?)Z.结合文[6]的结论我们便得到了关于二重递归函数类的一种Grzegorezyk型分层和一种...
关键词：递归函数 分层 Grzegorczyk 
关于实数的不可解度定义
《科学通报》1993年第3期203-206,共4页郑锡忠 丁德成 孙智伟 
国家自然科学基金
随着递归论研究的深入,关于数论函数的可计算性、可化归性及其不可解度等概念得到了系统的研究。但是,这些工作仅涉及了“可计算性”的问题。而对递归论中另外两个同样重要的“可化归性”及“不可解度”概念却未得到相应的发展。因此,Po...
关键词：不可解度 实数 
关于度集合的极小盖
《数学年刊（A辑）》1992年第6期728-733,共6页郑锡忠 
度a称为度集合A的极小盖指a为A中所有元素的极小盖。如果a为A的极小盖并且满足?c
关键词：度集合 极小盖 极小度 
准邻接度的格嵌入性质
《科学通报》1992年第23期2200-2202,共3页钱磊 郑锡忠 
国家自然科学基金
所谓邻接(Contiguous)度是指只含一个递归可枚举(简称r.e.)的wtt-度的r.e.图灵度。Stob和Ambos-spies研究了邻接度的存在性与格嵌入等问题。本文将研究的是一种与邻接度十分相似的度——准邻接度,并讨论其格嵌入性质。
关键词：递归可枚举度 准邻接度 格嵌入 
关于Grzegorczyk第九问题
《江苏大学学报（自然科学版）》1992年第3期94-101,共8页卢殿臣 郑锡忠 
国家自然科学基金资助
本文通过引进二重递归函数类的一种分层{Y_n}_(n∈∞),证明了借助于本原函数(后继函数、零函数和投影函数)以及原始递归和复合运算,如果仅增加有限多个二重递归函数作为开始函数,则不足以产生全体二重递归函数。
关键词：递归论 递归函数 分层/Grzegorczyk问题 
多重递归函数的分层和Grzegorczyk问题被引量：1
《科学通报》1992年第3期281-282,共2页郑锡忠 钱磊 
国家自然科学基金
Ritchie肯定地回答了Grzegorczyk第七问题,本文给出了其第九问题的否定性回答。
关键词：多重递归函数 分层 Grzegorczyk 
关于一些p-t对的极大性被引量：1
《科学通报》1991年第22期1754-1755,共2页郑锡忠 
C00k引进了卢p-t可化归性概念以及由此所导出的P-t度及p-t度之间化归关系,Ladner和Ambos-Spies又进一步对p-t度结构进行了广泛的讨论。下面所谓的度均指p-t度,其他记号和概念参见文献[3]。 定义 度a,b称为度c的一个分枝对指c为a,b之下确...
关键词：图论 度 分枝 p-t度 极大性 
Elementary System of Concatenation, Elementary Arithmetic and Protosyntax
《Chinese Quarterly Journal of Mathematics》1991年第2期12-30,共19页郑锡忠 
The Project by National Natural Science Foundation of China.
毗连运算是语法系统中最基本和最简单的运算。Tarski,Quine和Hermes等著名数理逻辑学者都曾对它作过非常有意义的讨论。但是他们的讨论都是非形式的,本文首先建立了关于毗连的初等形式系统C,并通过对C的展开,在C中形式地建立了Peano算...
关键词：毗连系统 初等算术 原语法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部