答辩人及论文题目：

梁常建：基于广义可能性时序逻辑的定量模型检测

张福刚：基于量子相干度量的量子态序与量子不确定性关系

指导教师：李永明 教授

专 业：基础数学（数学）

答辩委员会主席：

赵彬 教授（博导） 陕西师范大学

答辩委员会委员：

寇 辉 教授（博导）四川大学

胡宝清 教授（博导）武汉大学

辛小龙 教授（博导）西北大学

周红军 教授（博导）陕西师范大学

答辩委员会秘书：

宋 云 讲师 陕西师范大学

时间：2018年11月18日 上午8:30

地点：陕西师范大学图书馆一楼小会议室

欢迎广大师生届时光临指导！