基本情況:
出生年月: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.