课题基金 / 基金详情

面向Jung-Tix问题的Domain理论与量化序理论研究

批准号：
12231007
项目类别：
重点项目
资助金额：
235 万元
负责人：
李庆国
依托单位：
湖南大学
学科分类：
数学史、数理逻辑与公理集合论
结题年份：
--
批准年份：
2022
项目状态：
未结题
项目参与者：
李庆国
关键词：
Jung-Tix问题Domain理论量化序理论

李庆国的其他基金

相似基金

相关文献

连续偏序集的拓扑性质、笛卡尔闭性及函数空间的研究
  • 批准号：
    11771134
  • 项目类别：
    面上项目
  • 资助金额：
    48.0万元
  • 批准年份：
    2017
  • 负责人：
    李庆国
  • 依托单位：
    湖南大学
Domain结构与信息系统的表示理论研究
  • 批准号：
    11371130
  • 项目类别：
    面上项目
  • 资助金额：
    62.0万元
  • 批准年份：
    2013
  • 负责人：
    李庆国
  • 依托单位：
    湖南大学
量子逻辑和模糊逻辑的相关问题研究
  • 批准号：
    11071061
  • 项目类别：
    面上项目
  • 资助金额：
    25.0万元
  • 批准年份：
    2010
  • 负责人：
    李庆国
  • 依托单位：
    湖南大学
模糊概念格理论及在信息科学中的应用
  • 批准号：
    10771056
  • 项目类别：
    面上项目
  • 资助金额：
    25.0万元
  • 批准年份：
    2007
  • 负责人：
    李庆国
  • 依托单位：
    湖南大学
国内基金
海外基金