Kolmogorov复杂性及其应用
结题报告
批准号:
10471060
项目类别:
面上项目
资助金额:
17.0 万元
负责人:
丁德成
依托单位:
学科分类:
A0101.数学史、数理逻辑与公理集合论
结题年份:
2007
批准年份:
2004
项目状态:
已结题
项目参与者:
喻良、陆宏、吴永成、毛徐新、周从华、王玮、陈振宇
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点,提供专业选题建议
深度指导申报书撰写,确保创新可行
指导项目中标800+,快速提高中标率
客服二维码
微信扫码咨询
中文摘要
Kolmogorov复杂性,又称描述复杂性。它不同于经典的时间和空间复杂性。Kolmogorov复杂性是由Kolmogorov, Martin-Lof, Chaitin,Solovay等人创立并奠定基础的。它来源于对于概率论,统计学、信息论,可计算性理论、人工智能理论以及公理集合论的研究。Kolmogorov复杂性已经广泛地运用在许多科学技术领域,如信息科学、计算机科学中的人工智能理论、算法复杂性分析、组合理论、数学中的定理证明、物理学中的混沌学和力学、生物学中的DNA序列的复杂性、哲学以及机器学习理论等等。本课题拟对Kolmogorov复杂性的各种度的结构和性质进行深入的研究,并力求有所应用。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
DOI:--
发表时间:--
期刊:
影响因子:--
作者:Mao Xuxin
通讯作者:Mao Xuxin
SAT-based Verification of Boun
基于 SAT 的 Boun 验证
DOI:--
发表时间:--
期刊:
影响因子:--
作者:Zhou Conghua
通讯作者:Zhou Conghua
Computability on Subsets of 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
实数的可计算性研究
  • 批准号:
    11171148
  • 项目类别:
    面上项目
  • 资助金额:
    40.0万元
  • 批准年份:
    2011
  • 负责人:
    丁德成
  • 依托单位:
递归可枚举度结构的代数性质和模型论性质的研究
  • 批准号:
    10871091
  • 项目类别:
    面上项目
  • 资助金额:
    23.0万元
  • 批准年份:
    2008
  • 负责人:
    丁德成
  • 依托单位:
关于d-r.e度和n-r.e度的研究
  • 批准号:
    19771045
  • 项目类别:
    面上项目
  • 资助金额:
    6.5万元
  • 批准年份:
    1997
  • 负责人:
    丁德成
  • 依托单位:
格嵌入γ.e.度的研究
  • 批准号:
    19371042
  • 项目类别:
    面上项目
  • 资助金额:
    2.4万元
  • 批准年份:
    1993
  • 负责人:
    丁德成
  • 依托单位:
递归可枚举度的脱殊性、杯帽性及其构造
  • 批准号:
    19241005
  • 项目类别:
    专项基金项目
  • 资助金额:
    0.7万元
  • 批准年份:
    1992
  • 负责人:
    丁德成
  • 依托单位:
国内基金
海外基金