科研项目
- 1.基于输入律的新型数理模糊逻辑研究,陕西省科技厅
- 2.弘扬“西部红烛精神”，筑牢“三关口九抓手”学风传承机制，培育新时代“四有”数学卓越教师,中国科协学风传承精品项目
- 3.输入律的方程求解、代数结构、逻辑系统及相关应用研究,国家自然科学基金委员会
- 4.多值概率论的逻辑与代数基础及其应用研究,陕西省科学技术厅
- 5.不确定性推理的Borel型概率计量化模型
- 6.谓词逻辑与模型检验中的计量化理论
- 7.二值命题逻辑中命题的概率真度理论及其应用
- 8.不确定性推理的广义概率模型及其逻辑基础
- 9.命题逻辑中命题的Borel概率真度理论研究
- 10.Lukasiewicz命题逻辑中命题的Choquet积分真度理论
| |
加载更多