关于d-r.e度和n-r.e度的研究
批准号：
19771045
项目类别：
面上项目
资助金额：
6.5 万元
负责人：
丁德成
依托单位：
学科分类：
数学史、数理逻辑与公理集合论
结题年份：
2000
批准年份：
1997
项目状态：
已结题
项目参与者：
莫绍揆、郑锡忠、赵希顺
项目成果
丁德成的其他基金
相似基金
相关文献
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
More on Introspection in Nonmonotonic Modal Logics
有关非单调模态逻辑自省的更多信息
有关非单调模态逻辑自省的更多信息
DOI：
--
发表时间：
--
期刊：
Acta Mathematic Sinica
影响因子：
--
作者：
[赵希顺, 丁德成]
通讯作者：
丁德成
Two Tractctable Subclasses of Minimal Unsatisfiable Formulas
最小不可满足公式的两个可处理子类
最小不可满足公式的两个可处理子类
DOI：
--
发表时间：
--
期刊：
Science in china ,Series ,A
影响因子：
--
作者：
[赵希顺, 丁德成]
通讯作者：
丁德成
DOI：
--
发表时间：
--
期刊：
Chinese Journal of Advanced S
影响因子：
--
作者：
[赵希顺, 丁德成]
通讯作者：
丁德成
DOI：
--
发表时间：
--
期刊：
南京大学学报
影响因子：
--
作者：
[徐陶陶]
通讯作者：
徐陶陶
Two alternative notions of possibility
可能性的两种替代概念
可能性的两种替代概念
DOI：
--
发表时间：
--
期刊：
Journal of Logic and Computat
影响因子：
--
作者：
[苏开乐, 丁德成]
通讯作者：
丁德成
共 17 条
递归可枚举度结构的代数性质和模型论性质的研究
-
批准号：10871091
-
项目类别：面上项目
-
资助金额：23.0万元
-
批准年份：2008
-
负责人：丁德成
-
依托单位：
Kolmogorov复杂性及其应用
-
批准号：10471060
-
项目类别：面上项目
-
资助金额：17.0万元
-
批准年份：2004
-
负责人：丁德成
-
依托单位：
格嵌入γ.ｅ.度的研究
-
批准号：19371042
-
项目类别：面上项目
-
资助金额：2.4万元
-
批准年份：1993
-
负责人：丁德成
-
依托单位：
递归可枚举度的脱殊性、杯帽性及其构造
-
批准号：19241005
-
项目类别：专项基金项目
-
资助金额：0.7万元
-
批准年份：1992
-
负责人：丁德成
-
依托单位：
国内基金
海外基金