丁德成

丁德成，男，1943年5月生。1981年南京大学数学系硕士毕业。1990年德国Heidelberg大学博士毕业。 研究方向：数理逻辑及其在计算机中的应用 一、论文 1. 递归不可分的ｒ.e. 的极小对， 1984， 南京大学学报数学半年刊， No.2， P.268 2. 递归算术的复迭系统(Ⅱ)， 1986， 数学年刊， A7， No.5， P.505 3. Ding Decheng，Density of Recursively Inseparable R.E. Sets and Universal RecrusivelyInseparability， 1986， Acta Mathematica Sinica， Vol.2 ，No.5， P.337 4. 不可解度理论的历史和近况， 1986， 南京大学学报数学半年刊， No.1， P.88 5. 递归算术的复迭系统(Ⅰ) ， 1986， 数学年刊， A7， No.3， P.289 6. R.E. 集的一种分裂性质， 1987， 南京大学学报数学半年刊， No.1， P.87 7. 递归不可分集的ｒ.e.度， 1987， 数学年刊， 8A， No.2， P.149 8.当今数理逻辑发展的某些特点(复印件)， 1988， 国际学术动态， P.37 9. wtt-度的 Nonbounding 定理， 1989， 数学学报， Vol.32， No.6， P.736 10.拟交可到达的非分枝度， 1991， 数学年刊， 12A， No.3， P.283 11. 递归可枚举的脱殊的 Turing 度的构造， 1992， 科学通报， No.12， P.1057 12. Ding Decheng，Density Of Non-p-Generic And Non-Branching r.e. Degrees in Low Degrees(复印件)， 1992， SCIENCE IN CHINA (Series A)， Vol.30， No.2， P.20 13. -脱殊的Ｔ-度与非?-脱殊的Ｔ-度的出现频率的比较， 1992， 科学通报， No.19，P.1742 14. 非脱殊的非分枝的 r.e. 度在低的 r.e. 度中的稠密性， 1992， 中国科学， A辑， No.9， P.925 15. Ding Decheng The distribution of the generic recursively enumerable degrees 1992 Arch.Math.Logic. ，No.32， P.113 16. 丁德成，孙智伟， 关于实数的不可解度定义(复印件) ， 1993 ，科学通报， Vol.38， No.3， P.172 17. Ding Decheng，The Structures Inside Turing Degrees of Recursively Enumerable Generic Sets(复印件)， 1993， CHINESE SCIENCE BULLETIN ，Vol.38， No.1 18. DING De-Cheng， THE DENSITY OF NONCONTIGUOUS DEGREES 1993 SCIENCE IN CHINA， Vol.36， No.11， P.1308 19. Klaus Ambos-Spies，Ding Decheng，and Peter A.Fejer， EMBEDDING DISTRIBUTIVE LATTICES PRESERVING 1 BELOW A NONZERO RECURSIVELY ENUMERAURSIVELY ENUMERABLE TURING DEGREE， 1993， Progress in Computer Science and Applied Logic Vol 20. Ding Decheng， EVERY P-GENERIC R.E.DEGREE IS MEET-INACCESSIBLE， 1993， Chinese Journal of Contemporary Mathematics， Vol.14 21. Klaus Ambos-Spies and Ding Decheng， DISCONTINUITY OF CAPPINGS IN THE RECURSIVELY ENUMERABLE DEGREEAND STRONGLY NONBRANCHING DEGREE 1994 Mathematical Logic Quarterly P.287 22. SU Kai-Le and DING De-Cheng， Default Logic About Assertions， 1994， SICENCE IN CHINA(Series A)， Vol.37， No.11， P.1399 23. 丁德成，任何非递归 ｒ.ｅ.度之下存在孤立ｄ－ｒ.ｅ.度， 1994， 中国科学(A辑)， Vol.24， No.9， P.897 24. 丁德成，孙智伟，钱磊，开放逻辑中的合理事实反驳模型类 1994 计算机学报 Vol.17 No.5 P.361 25. 丁德成， 苏开乐，孙智伟，开放逻辑中的重构与认识进程智能计算机基础研究 ９４ 1994 清华大学出版社 P.163 26. Ding Decheng，PROPERTIES OF THE SUBSETS OF GENERIC R.E.SETS， 1994， Chinese Journal of Contemporary Mathematics， Vol.15 27. 丁德成，关于事实反驳与一般假说的开放逻辑， 1994， 科学通报， Vol.39， No.16， P.1441 28. Ding Decheng，PROPERTIES OF THE SUBSETS OF GENERIC R.E.SETS， 1994， CHINESE ANNALS OF MATHEMATICS， Vol.15， Ser.A ，No.4 29. Ding Decheng， NON-ｐ-GENERIC AND STRONGLY NONBRANCHING DEGREE， 1994， Acta Mathematica Sinica，New Series， Vol.10， No.1， P.3 30. 丁德成，关于断言的缺少逻辑， 1994， 中国科学(A辑)， Vol.24， No.6， P.645 31. DING Decheng and QIAN Lei，ISOLATED ｄ-ｒ.ｅ. DEGREE BELOW ｒ.ｅ.DEGREE， 1995， SCIENCE IN CHINA(Serie A)， Vol.38， No.4， P.419 32. 丁德成，孙智伟，连续统与Ｔｕｒｉｎｇ度， 1996，数学学报， Vol.39， No.1， P.71 二、讲授课程 1.不可解度理论 2.递归论 3.递归可枚举集和度 4.分析与物理中的计算复杂性 三、获奖情况 1. 1995年5月，“可计算性理论及其在计算机科学中应用的研究”获促进科学技术进步工作中做出重大贡献三等奖 四、项目 1.1994.9-1995.12，主持国家高技术研究计划（重大项目）“开放逻辑及其复杂性” 2.1994.1-1996.12，主持国家自然科学基金（面上项目）“格嵌入r.e度的研究” 3.1992.9-1995.9，主持教委回国人员基金项目“分析与物理中的计算复杂性” 4.1993.9-1996.9，合作教委博士点基金项目“关于r.e集和和r.e.度的研究” 5.1993.9-1996.9，合作江苏省自然科学基金项目“人工智能与探索逻辑”