周紅軍

出生年月：1980年3月

專 業：基礎數學

學 位：博士

畢業院校：陝西師範大學

研究方向：不確定性推理

職 稱：副教授

2003年7月畢業於陝西師範大學數學與信息科學學院，獲理學學士學位； 同年被推薦為陝西師範大學基礎數學專業免試碩士研究生，師從王國俊教授學習； 2005年6月被選為碩博連讀生，繼續師從王國俊教授攻讀博士學位； 2009年6月獲得博士學位， 同時留校在數學與信息科學學院工作； 2011年1月破格晉升副教授。

在科研方面，主要從事多值邏輯與不確定性推理研究。已在國際SCI源期刊《Fuzzy Sets and Systems》、《International Journal of Approximate Reasoning》、《Information Sciences》以及國內權威期刊《中國科學F》、《數學學報》、《軟件學報》等發表學術論文20餘篇。已主持完成陝西師範大學優秀博士學位論文基金1項；主持國家自然科學基金青年項目、教育部高等學校博士學科點專項科研基金新教師類項目、陝西省自然科學基礎研究計劃項目、中央高校基本科研業務費專項基金項目、陝西師範大學青年科技項目各1項；另外，參與國家自然科學基金面上項目2項，教育部高等學校博士學科點專項科研基金博導類項目1項。

在教學方面，主要為物理專業本科生上《高等數學》<一>（3，4冊）等2門課程。

英文專著：

Guojun Wang, Hongjun Zhou. Introduction to Mathematical Logic and Resolution Principle. Co-published by Science Press （Beijing） and Alpha International Science Ltd (Oxford)，2009.

學術論文：

1. 周紅軍, 王國俊. Borel型概率計量邏輯. 中國科學F輯：信息科學, 即將發表.

2. Hongjun Zhou, Bin Zhao. Stone-like representation theorems and three-valued filters in R0-algebras (nilpotent minimum algebras). Fuzzy Sets and Systems, 2011, 162 (1)1–26.

3. Guojun Wang, Hongjun Zhou. Quantitative logic. Information Sciences, 2009, 179(3): 226-247.

4. Hongjun Zhou, Guojun Wang. Three and two-valued Lukasiewicz theories in the formal deductive system L∗(NM-logic). Fuzzy Sets and Systems, 2008, 159(22): 2970-2982.

5. Hongjun Zhou, Guojun Wang. 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.

6. Hongjun Zhou, Guojun Wang. Generalized consistency degrees of theories in several standard complete logic systems. Fuzzy Sets and Systems, 2006, 157(15): 2058-2073.

7. Hongjun Zhou, Guojun Wang. Consistency degrees of theories and methods of graded reasoning in n-valued R0-logic. International Journal of Approximate Reasoning, 2006, 43(2): 117-132.

8. Hongjun Zhou, Guojun Wang. A new theory consistency index based on deduction theorems in several logic systems. Fuzzy Sets and Systems, 2006, 157(3): 427-443.

9. 王國俊, 周紅軍. MV-代數的度量化研究及其在Lukasiewicz命題邏輯中的應用. 數學學報2009, 52(3): 501-514.

10. 周紅軍, 王國俊. 邏輯系統NMG的滿足性和緊緻性. 軟件學報，2009, 20(3): 515-523.