欢迎光临数学与信息科学学院!
设为首页 | 加入收藏 | 联系我们 | 怀念旧版
教授
    教授
    副教授
    讲师
    师资博士后
推荐新闻  
我院举行武虎林兼职教授聘任仪式
游旭群副校长参加我院党委201...
我院年度学术报告会顺利召开
2016年度我院基金资助成绩喜...
我院2016年获12项国家自然科...
我院卓越教师实验班学生走进...
我院党委换届选举大会顺利举行
您现在的位置: 首页 > 师资队伍 > 教授 > 正文
周红军 教授
姓名: 周红军
性别:
职称: 教授
职务:
E-mail: hjzhou@snnu.edu.cn
工作室: 文津楼二段二层2202
教育工作经历:

2003年7月毕业于陕西师范大学数学与信息科学学院,获理学学士学位;同年被推荐为陕西师范大学基础数学专业免试硕士研究生,师从王国俊教授学习;2005年6月被选为硕博连读生,继续师从王国俊教授攻读博士学位;2009年6月获得博士学位,同时留校在数学与信息科学学院工作;2010年12月破格晋升副教授; 2012年增选为硕士生导师;2013年8月-2014年8月在美国Vanderbilt大学数学系公派博士后合作研究;2015年12月晋升教授。

论文、专著:

专著:
1. 周红军. 概率计量逻辑及其应用. 北京: 科学出版社, 2015.
2. Wang Guojun, Zhou Hongjun. Introduction to Mathematical Logic and Resolution Principle. Co-published by Science Press (Beijing) and Alpha International Science Ltd (Oxford), 2009.

期刊论文:
1. Zhou Hongjun, Zhao Bin. Characterizations of endomorphic nuclei on R0-algebras (nilpotent minimum algebras). Journal of Multiple-Valued Logic and Soft Computing, 2014, 22(1-2): 123-132.
2. Zhao Bin, Zhou Hongjun*. Generalized Bosbach and Riecan states on nucleus-based-Glivenko residuated lattices. Archive for Mathematical Logic, 2013, 52(7-8): 689-706.
3. 周红军, 折延宏. Lukasiewicz命题逻辑中命题的Choquet积分真度理论. 电子学报, 2013, 41(12): 2327-2333.
4. Zhou Hongjun, Zhao Bin. Generalized Bosbach and Rie?an states based on relative negations in residuated lattices. Fuzzy Sets and Systems, 2012, 187(1): 33-57.
5. Zhou Hongjun, Wang Guojun. Borel probabilistic and quantitative logic. Science China: Information Sciences, 2011, 54(9): 1843-1854
6. Zhou Hongjun, Zhao Bin. Stone-like representation theorems and three-valued filters in R0-algebras (nilpotent minimum algebras). Fuzzy Sets and Systems, 2011, 162(1): 1-26.
7. Wang Guojun, Zhou Hongjun. Quantitative logic. Information Science, 2009, 179(3): 226-247.
8. Zhou Hongjun, Wang Guojun. Three and two-valued ?ukasiewicz theories in the formal deductive system L?(NM-logic) . Fuzzy Sets and Systems, 2008, 159(22): 2970-2982.
9. Zhou Hongjun, Wang Guojun. Characterizations of maximal consistent theories in the formal deductive system L?(NM-logic) and Cantor space. Fuzzy Sets and Systems, 2007, 158(23): 2591-2604.
10. Zhou Hongjun, Wang Guojun. Zhou Wei. Consistency degrees of theories and methods of graded reasoning in n-valued R0-logic. International Journal of Approximate Reasoning, 2006, 43(2): 117-132.

科研项目:

1. 陕西省青年科技新星计划,2016KJXX-24,多值概率论的逻辑与代数基础及其应用研究,2016/01-2018/12,在研,主持。
2. 国家自然科学基金面上项目,61473336,不确定性推理的广义概率模型及其逻辑基础,2015/01-2018/12,在研,主持。
3. 国家自然科学基金面上项目,11171200,谓词逻辑与模型检验中的计量化理论,2012/01-2015/12,已结题,2012-2014年为第3参加人,自2014年3月起变更为主持。
4. 国家自然科学基金面上项目,11171196,Domain与Quantale理论的模糊化研究,2012/01-2015/12,已结题,第3参加人。
5. 国家自然科学基金青年项目,61005046,不确定性推理的Borel型概率计量化模型,2011/01-2013.12,已结题,主持。
6. 高等学校博士学科点专项科研基金新教师类项目,20100202120012,Lukasiewicz命题逻辑中命题的Choquet积分真度理论,2011/01-2013.12,已结题,主持。
7. 陕西省自然科学基础研究计划青年项目,2010JQ8020,命题逻辑中命题的Borel概率真度理论研究,2010/06-2012/12,已结题,主持。

各种奖励:

1. 2016年度陕西省青年科技新星;
2. 2012年度陕西省优秀博士学位论文;
3. 2008年度宝钢优秀学生奖;
4. 2003年陕西省高校优秀毕业生。

讲授课程:

为数学专业本科生讲授《数学分析》、《概率论与数理统计》、《模糊数学》;为物理专业本科生讲授《高等数学》(包括微积分、线性代数、概率论、复变函数及数理方程)等课程;为研究生开设《数理逻辑引论与归结原理》、《非经典数理逻辑与近似推理》、《概率计量逻辑》、《Triangular Norms》等。

历届指导研究生:

2014级:马琴、兰淑敏

2015级:于俊红、题丽博

2016级:刘晓、李颖、闫欣欣

地址:西安市长安区西长安街620号       邮编:710119 
邮箱:maths@snnu.edu.cn 电话:029-85310232 传真:029-85310277 

陕西师范大学数学与信息科学学院