课题基金基金详情
输入律的方程求解、代数结构、逻辑系统及相关应用研究
批准号：
12171292
项目类别：
面上项目
资助金额：
51 万元
负责人：
周红军
依托单位：
陕西师范大学
学科分类：
--
结题年份：
--
批准年份：
2021
项目状态：
未结题
项目参与者：
周红军
关键词：
输入律的方程求解相关应用研究代数结构逻辑系统
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点，提供专业选题建议
深度指导申报书撰写，确保创新可行
指导项目中标800+，快速提高中标率
客服二维码
微信扫码咨询
不确定性推理的广义概率模型及其逻辑基础
  • 批准号：
    61473336
  • 项目类别：
    面上项目
  • 资助金额：
    60.0万元
  • 批准年份：
    2014
  • 负责人：
    周红军
  • 依托单位：
    陕西师范大学
谓词逻辑与模型检验中的计量化理论
  • 批准号：
    11171200
  • 项目类别：
    面上项目
  • 资助金额：
    46.0万元
  • 批准年份：
    2011
  • 负责人：
    周红军
  • 依托单位：
    陕西师范大学
不确定性推理的Borel型概率计量化模型
  • 批准号：
    61005046
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    21.0万元
  • 批准年份：
    2010
  • 负责人：
    周红军
  • 依托单位：
    陕西师范大学
国内基金
海外基金