Kolmogorov复杂性及其应用
批准号：
10471060
项目类别：
面上项目
资助金额：
17.0 万元
负责人：
丁德成
依托单位：
学科分类：
数学史、数理逻辑与公理集合论
结题年份：
2007
批准年份：
2004
项目状态：
已结题
项目参与者：
喻良、陆宏、吴永成、毛徐新、周从华、王玮、陈振宇
项目摘要
结项摘要
项目成果
丁德成的其他基金
相似基金
相关文献
中文摘要
Kolmogorov复杂性，又称描述复杂性。它不同于经典的时间和空间复杂性。Kolmogorov复杂性是由Kolmogorov, Martin-Lof, Chaitin，Solovay等人创立并奠定基础的。它来源于对于概率论，统计学、信息论，可计算性理论、人工智能理论以及公理集合论的研究。Kolmogorov复杂性已经广泛地运用在许多科学技术领域，如信息科学、计算机科学中的人工智能理论、算法复杂性分析、组合理论、数学中的定理证明、物理学中的混沌学和力学、生物学中的DNA序列的复杂性、哲学以及机器学习理论等等。本课题拟对Kolmogorov复杂性的各种度的结构和性质进行深入的研究，并力求有所应用。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
Representation theorems for di
di 的表示定理
di 的表示定理
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
[Mao Xuxin]
通讯作者：
Mao Xuxin
SAT-based Verification of Boun
基于 SAT 的 Boun 验证
基于 SAT 的 Boun 验证
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
[Zhou Conghua]
通讯作者：
Zhou Conghua
Computability on Subsets of Lo
Lo 子集的可计算性
Lo 子集的可计算性
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
[Yatao Xu, Tanja Grubba]
通讯作者：
Yatao Xu, Tanja Grubba
On the definable ideal generat
关于可定义的理想生成器
关于可定义的理想生成器
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
[Yu Liang, Yang Yue]
通讯作者：
Yang Yue
Bounded model checking for bra
胸罩有界模型检查
胸罩有界模型检查
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
[Conghua Zhou, Ding Decheng]
通讯作者：
Ding Decheng
共 17 条
递归可枚举度结构的代数性质和模型论性质的研究
-
批准号：10871091
-
项目类别：面上项目
-
资助金额：23.0万元
-
批准年份：2008
-
负责人：丁德成
-
依托单位：
关于d-r.e度和n-r.e度的研究
-
批准号：19771045
-
项目类别：面上项目
-
资助金额：6.5万元
-
批准年份：1997
-
负责人：丁德成
-
依托单位：
格嵌入γ.ｅ.度的研究
-
批准号：19371042
-
项目类别：面上项目
-
资助金额：2.4万元
-
批准年份：1993
-
负责人：丁德成
-
依托单位：
递归可枚举度的脱殊性、杯帽性及其构造
-
批准号：19241005
-
项目类别：专项基金项目
-
资助金额：0.7万元
-
批准年份：1992
-
负责人：丁德成
-
依托单位：
国内基金
海外基金