丁德成
- 作品数：25 被引量：17H指数：2
- 供职机构：南京大学数学系更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 拟交可到达的非分枝度
- 1991年
- 本文给出了拟交可到达的度的定义。并证明存在拟交可到达的非分枝度。
- 丁德成
- 若干限制形式的缺省推理的复杂性(英文)被引量：2
- 2000年
- 该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性 .其中 ,D是一集 Horn缺省规则 ,而 W是 definite Horn公式或者 Bi-
- 赵希顺丁德成
- 关键词：缺省推理
- 关于实数的不可解度定义
- 1993年
- 随着递归论研究的深入,关于数论函数的可计算性、可化归性及其不可解度等概念得到了系统的研究。但是,这些工作仅涉及了“可计算性”的问题。而对递归论中另外两个同样重要的“可化归性”及“不可解度”概念却未得到相应的发展。因此,Pour-E1和Richards在文献[5]中把“如何把不可解度的概念合理地引入到分析中去并讨论一些具体的分析过程的不可解度”作为其七个重要的开问题之一。作为回答这个问题的第一步。
- 郑锡忠丁德成孙智伟
- 关键词：实数
- 莫绍揆先生简介
- 2007年
- 莫绍揆教授，1917年8月13日生于广西桂平。1939年7月毕业于中央大学理学院数学系。在中央大学任两年助教以后，他先后担任过中央大学和中山大学数学系讲师。从1947年起，赴瑞士洛桑大学、国立高等工业学校和巴黎大学留学，师从希尔伯特的学生、国际著名的数理逻辑大师贝尔奈斯（P．Bernays），研究数理逻辑和数学基础。1950年4月回国后，任南京大学副教授、教授，创建数理逻辑专业，并长期担任数理逻辑教研室主任。他在数学研究和数学教育的园地上辛勤耕耘了50余年，艰苦创业，成绩卓著，是我国数理逻辑教育和研究的开拓者之一。在国际上也有很高的声誉。
- 丁德成
- 关键词：数理逻辑数学教育数学基础数学研究
- 连续统与Turing度
- 1996年
- 令Ｄ为所有Ｔｕｒｉｎｇ度的集合，≤为Ｄ上的图林化归关系．一函数ｆ：Ｄ→Ｄ称为前进函数如果对任何ａ∈Ｄ，ａ≤ｆ（ａ）。对于一个前进函数ｆ，我们说Ｄ中的两个度ａ，ｂ是ｆ－不可比较的，如果ａ≮ｆ（ｂ）且ｂ ≮ｆ（ａ），否则是ｆ－可比较的．本文的一个主要结果是：在ＺＦＣ中连续统假设成立当且仅当存在一个前进函数ｆ：Ｄ→Ｄ使得Ｄ中任何两个度都是ｆ－可比较的.
- 苏开乐丁德成孙智伟
- 关键词：连续统假设
- r.e.的脱殊集的子集的性质
- 1994年
- 本文研究了ｐ－脱殊集，ｓ－脱殊集，ｅ－脱殊集的子集的各种性质．
- 丁德成
- 关键词：子集递归可枚举集
- 可计算性理论及其在计算机科学中的应用
- 丁德成喻良苏开乐赵希顺许道云
- 我们在可计算性理论、计算机科学理论等方面取得了一系列重要的成果，在国内外重要刊物上发表了论文96篇，其中SCI和EI论文83篇，SCI和EI引用95次。我们解决了多个本领域内的多年未能解决的著名问题，开创了一些新的研究方...
- 关键词：
- 关键词：可计算性理论
- 变量极小公式复杂性被引量：1
- 2010年
- 基于逻辑公式的极小变量集合的需求,研究了变量极小等价(VME)和变量极小可满足(VMS)问题的理论性质.引入等价关键变量和可满足关键变量概念,证明它们的判定复杂性分别为NP-完全和DP-完全.通过等价关键变量和可满足关键变量,分别定义VME和VMS.证明了Unique-SATVMSVMESAT,其中Unique-SAT是具有唯一成真赋值的公式类.进一步证明VME是NP-完全,VMS属于DP且是coNP-难.
- 陈振宇徐宝文丁德成
- wtt-度的 Nonbounding 定理
- 1989年
- 本文用“魔怪方法”证明了对任何一个低的 r.e.集 D,存在一个 r.e.集C,使得 D<_(wtt)C,且对任何 r.e.集 A,B,如果 A≤_(wtt)C,B≤_(wtt)C,A(?)_(wtt)D,B(?)_(wtt)D,则 deg(A)∩deg(B)≠(?).此处 deg(A),deg(B)分别表示 A,B 的 wtt-度.
- 丁德成
- 关键词：定理
- p-脱殊的T-度与非p-脱殊的T-度的出现频率的比较
- 1992年
- Ingfassia证明了p-脱殊的T-度在r.e.度中是稠密的。丁德成证明了非P-脱殊的T-度在r.e.度中也是稠密的。但是,是否在r.e.度的每个区域,这两种度出现的频率均相同呢?本文将给出否定的回答。
- 丁德成
