答辩人及论文题目：

武全- 模糊序半群和模糊S-偏序集的内射壳

刘慧- FI-代数上的导子与伪CI-代数中的滤子

指导教师：赵 彬 教授

专 业：基础数学

研究方向：格上拓扑与非经典数理逻辑

答辩委员会主席：

张讲社 教授 西安交通大学

答辩委员会委员：

辛小龙 教授 西北大学

李生刚 教授 陕西师范大学

吴洪博 教授 陕西师范大学

汪开云 副教授 陕西师范大学

答辩委员会秘书：

贺鹏飞 讲师 陕西师范大学

时间：2017年5月18日 8:30

地点：文津楼数科院多功能厅

答辩人及论文题目：

梁颖 – BL 命题逻辑系统的演绎系统及其性质

吴涛 – Quantale 系统及其子系统相关性质的研究

指导教师：吴洪博 教授

专 业：基础数学

研究方向：格上拓扑与非经典数理逻辑

答辩委员会主席：

张讲社 教授 西安交通大学

答辩委员会委员：

赵 彬 教授 陕西师范大学

辛小龙 教授 西北大学

李生刚 教授 陕西师范大学

汪开云 副教授 陕西师范大学

答辩委员会秘书：

贺鹏飞 讲师 陕西师范大学

时间：2017年5月18日 8:30

地点：文津楼数科院多功能厅

答辩人及论文题目：

杨超- 加权自动机的互模拟关系和逼近互模拟关系

王月- 基于赋值幺半群的加权上下文无关文法及其语言研究

指导教师： 李永明 教授

专 业：基础数学

研究方向： 计算智能

答辩委员会主席：

张讲社 教授 西安交通大学

答辩委员会委员：

赵 彬 教授 陕西师范大学

辛小龙 教授 西北大学

李生刚 教授 陕西师范大学

吴洪博 教授 陕西师范大学

答辩委员会秘书：

贺鹏飞 讲师 陕西师范大学

时间：2017年5月18日 8:30

地点：文津楼数科院学术报告厅

答辩人及论文题目：

付雯静– 量化上下文无关语言的代数性质

指导教师：韩召伟 副教授

专 业：基础数学

研究方向：计算智能

答辩委员会主席：

辛小龙 教授 西北大学

答辩委员会委员：

赵 彬 教授 陕西师范大学

李永明 教授 陕西师范大学

吴洪博 教授 陕西师范大学

周红军 教授 陕西师范大学

答辩委员会秘书：

贺鹏飞 讲师 陕西师范大学

时间：2017年5月18日 14:30

地点：文津楼数科院多功能厅

答辩人及论文题目：

马琴- (D,N)-蕴涵与NMG-代数中的同态核

兰淑敏- 单调函数的右连续伪逆及其应用

指导教师：周红军 教授

专 业：基础数学

研究方向：不确定性推理

答辩委员会主席：

辛小龙 教授 西北大学

答辩委员会委员：

赵 彬 教授 陕西师范大学

李永明 教授 陕西师范大学

吴洪博 教授 陕西师范大学

韩召伟 副教授 陕西师范大学

答辩委员会秘书：

贺鹏飞 讲师 陕西师范大学

时间：2017年5月18日 14:30

地点：文津楼数科院多功能厅