格值蕴涵算子与Domain理论中的若干问题
批准号：
12331016
项目类别：
重点项目
资助金额：
193.00 万元
负责人：
赵彬
依托单位：
陕西师范大学
学科分类：
--
结题年份：
--
批准年份：
2023
项目状态：
未结题
项目参与者：
赵彬
关键词：
格值蕴涵算子Domain理论问题
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点，提供专业选题建议
深度指导申报书撰写，确保创新可行
指导项目中标800+，快速提高中标率
客服二维码
微信扫码咨询
复杂推理的序、代数和逻辑方法及其计量化模型
  • 批准号：
    11531009
  • 项目类别：
    重点项目
  • 资助金额：
    230.0万元
  • 批准年份：
    2015
  • 负责人：
    赵彬
  • 依托单位：
    陕西师范大学
Domain与Quantale理论的模糊化研究
  • 批准号：
    11171196
  • 项目类别：
    面上项目
  • 资助金额：
    46.0万元
  • 批准年份：
    2011
  • 负责人：
    赵彬
  • 依托单位：
    陕西师范大学
Quantale相关结构的代数性质研究
  • 批准号：
    10871121
  • 项目类别：
    面上项目
  • 资助金额：
    29.0万元
  • 批准年份：
    2008
  • 负责人：
    赵彬
  • 依托单位：
    陕西师范大学
Quantale理论中若干问题的研究
  • 批准号：
    10471083
  • 项目类别：
    面上项目
  • 资助金额：
    19.0万元
  • 批准年份：
    2004
  • 负责人：
    赵彬
  • 依托单位：
    陕西师范大学
Domain理论与计算机科学
  • 批准号：
    19701020
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    5.0万元
  • 批准年份：
    1997
  • 负责人：
    赵彬
  • 依托单位：
    陕西师范大学
国内基金
海外基金