周红军教授

教师英文名称:
Hongjun Zhou
所在单位:
数学与统计学院
学历:
博士研究生
性别:
学位:
理学博士学位
在职信息:
在职
毕业院校:
陕西师范大学
学科:
基础数学

周红军教授

谓词逻辑与模型检验中的计量化理论

发布时间: 2021/11/18

  • 所属单位:

    数学与统计学院

  • 负责人姓名:

    周红军

  • 项目性质:

    纵向

  • 项目级别:

    国家级

  • 项目参与人员:

    王庆平,马丽娜,胡明娣,王伟,任芳,时慧娴

  • 项目编号:

    11101012106

  • 立项时间:

    2011/08/19

  • 计划完成时间:

    2015/12/31

  • 开始日期:

    2012/01/01

  • 项目批准号:

    11171200