4月24日，为加强学科专业建设，促进学术交流，提升我院师生的学术水平，了解时序逻辑领科域技前沿，学院特邀请我院客座教授、陕西师范大学数学与统计学院院长李永明教授来我院指导工作，为我院师生作专题学术报告。会议由学院党委书记王辉主持，我院师生代表100余人聆听了报告。

报告会上，李院长介绍了几类定量时序逻辑基于决策过程的最优策略模型检测问题，包含广义可能性计算树逻辑、广义可能性线性时序逻辑以及可能性多值计算树逻辑。首先，介绍了广义可能性计算树逻辑的框架，阐述了其在不确定性系统建模中的优势，并分析了基于马尔可夫决策过程的最优策略验证方法。其次，针对广义可能性线性时序逻辑的语义扩展及其在无限路径上的概率推理能力，结合实例展示了该逻辑在动态系统验证中的应用潜力。最后，探讨了可能性多值计算树逻辑的模型检测算法，重点说明了多值逻辑对复杂系统属性表达的灵活性与计算效率的平衡。李院长通过严谨的理论推导与生动的案例解析，为现场师生提供了定量时序逻辑研究的前沿视角。

最后，学院党委书记王辉代表学院师生对李院长的精彩报告表示衷心的衷心的感谢。他表示，此次报告为我院智能计算与时序逻辑研究提供了重要启示。学院将深入贯彻落实党的二十大关于“加快数字中国建设”的部署，以国家《新一代人工智能发展规划》为指引，聚焦智能决策与形式化验证领域，加强跨学科平台建设，深化与顶尖团队合作，推动理论创新与产业应用融合。未来将依托重点实验室培育高水平成果，服务国家数字经济战略需求。同时，他希望全院教师学习李教授的前沿研究思路，积极响应“有组织科研”号召，主动对接国家重大课题；青年教师要立足“四个面向”，在量子计算、可信AI等新兴领域开拓创新；团队带头人需强化交叉协作，培育具备国际竞争力的学术增长点。学院将持续优化科研生态，为教师攻关“卡脖子”技术提供支撑，共同为教育强国和科技自立自强贡献力量。

会后，在数计学院616会议室召开了“教育硕士-学科教学数学专业人才培养方案专家论证会”，学院领导、学科负责人、教师代表参加了论证会，围绕教育硕士培养目标、课程设置、实践教学及毕业论文等方面展开深入研讨。李院长提出了宝贵建议，为优化人才培养方案指明了方向。此次论证会为提升数学教育硕士培养质量奠定了坚实基础。

图/文/周鹏飞 编辑/尚佳童 审核/李会荣