基本情况
2002年7月毕业于陕西师范大学数学系数学教育专业,获理学学士学位,同时留校任教;2006年7月和2011年7月毕业于陕西师范大学基础数学专业,分别获得理学硕士和博士学位。2019年10月至2020年9月公派至加拿大University of Regina计算机系合作研究。
代表性学术论文
1. Ruirui zhao, Lina Ma*, Shenggang Li, Minxia Luo, A multi-criteria three-way decision making method in a picture fuzzy probabilistic decision system. Cognitive Computation, 2021, https://doi.org/10.1007/s12559-021-09900-2.
2. Yanhong She, Xiaoli He, Lina Ma, On the structure of metric spaces related to pre-rough logic. International Journal of Machine Learning and Cybernetics, 2017, 8(2): 537-546.
3. Lina Ma, Shuo Liu, A p-R0 Type Triple I Method for Interval Valued Fuzzy Reasoning. Advances in Intelligent Systems and Computing, 2016, 510(1): 261-271.
4. Lina Ma, Shuo Liu, The semantics theory for multi-valued reasoning about knowledge. Proceedings of the 3rd International Conference on Quantitative Logic and Soft Computing, 2012, 121-127.
5. 马丽娜,王国俊,广义MP问题的a-三I解的形式化理论, 陕西师范大学学报(自然科学版), 2011, 39(2): 13-16,22.
6. 马丽娜,王国俊,剩余格中的Fuzzy(P)滤子的结构,山东大学学报(理学版), 2011, 46(3): 73-77.
教育科研项目
1. 模糊推理-三I方法的逻辑基础研究,中央高校基本科研业务费专项资金项目,2015.01-2016.12,主持
2. 模态逻辑中的计量逻辑理论,陕西师范大学青年科技项目,2010.01-2011.12,主持
3. 不确定性推理的广义概率模型及其逻辑基础,国家自然科学基金面上项目, 2015.01-2018.12,参与(第4人)
4. 线性时序关系下推理的概率计量化模型,国家自然科学基金专项基金项目, 2015.01-2015.12,参与(第2人)
5. 粗糙逻辑的程度化与随机化推理模型,国家自然科学基金青年基金项目, 2012.01-2014.12,参与(第3人)
6. 命题逻辑中命题的Borel概率真度理论研究, 陕西省自然科学基础研究计划项目, 2010.06-2012.12,参与(第2人)
教育科研奖励
1. 省级首届课堂教学创新大赛优秀奖, 2018
2. 校级第二届课堂教学创新大赛理科组三等奖, 2018
3. 首届全国高校数学微课程教学设计竞赛西北赛区二等奖, 2015
4. 校级优秀共产党员,2011
5. 陕西师范大学第二届青年教师教学基本功大赛理科组一等奖,2010
讲授课程
高等代数,线性代数,线性代数与概率,高等数学,文科高数,数理逻辑引论与归结原理,非经典数理逻辑与近似推理等