周紅軍[陝西師範大學副教授]

生於1980年3月,畢業於陝西師範大學,副教授,主要研究不確定性推理。

基本情況:

出生年月: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.

相關詞條

熱門詞條

聯絡我們