9月8日-10日，数学学院组织2025级本科新生以班级为单位集体学习“开学第一课”。全体同学共同观看新生第一堂思政课《赓续光荣传统 勇担时代重任 奋力书写为中国式现代化挺膺担当的青春篇章》。学校党委书记余敏明围绕“深刻认识西南交大，体会大任在肩的使命宽度”“深刻感悟西南交大，传承大道之行的精神高度”“深刻融入西南交大，践行大学之智的学术向度”“赓续光荣传统、勇担时代重任，以青春之我回应交大之大”四个方面，向新生介绍西南交通大学的诞生历史及优良校风的形成，...
2025年7月28日16时7分，我院系统可信性自动验证国家地方联合工程实验室徐扬教授团队在自动定理生成器领域取得突破性进展，该团队核心成员徐扬、郭海林、陈树伟和Jun Liu（英国Ulster大学）联合研发出一个命题逻辑和一阶逻辑自动定理生成器Δ1。当给Δ1输入一些逻辑文字后，它能很快生成大量（甚至难以计数）的不同逻辑定理。其逻辑定理的正确性不需要任何定理证明器和人工再做验证，Δ1中也没有内设自动定理证明器。这些逻辑定理可广泛应用于自然科学和社会科学各个领域。...
在第41个教师节来临之际，为弘扬尊师重教风尚，凝聚事业发展合力，9月9日，数学学院在X30423召开了2025年新进教师教师节座谈会。学院党委书记李志辉、院长杨晗、党委副书记黄祥、副院长杨洋等领导班子成员及16名新进教师和博士后参加会议。会上，李志辉代表学院向新进教师致以热烈欢迎和节日问候。李志辉对新入职教师提出三点期望：第一，积极融入，携手共进。主动融入学院教学科研团队，紧跟领域前沿，在奋进中找到长远发展的支点。...
为确保2025年秋季学期平稳开局，保障学院各项工作安全有序开展，9月8日，学院党委书记李志辉、院长杨晗带队，副院长杨洋、实验中心主任潘志刚、综合事务办公室主任郝虹、学工组副组长张素子及相关工作人员组成检查小组，深入各系室（中心）、教师活动室、学生学习区域等重点场所，开展全面细致的开学安全检查。检查小组先后走访教师工作间、本硕博学习工作间、实验教学区等师生高频活动区域，聚焦消防安全、资料存放规范、卫生环境整治、...
9月8日开学第一天，为确保教学工作的顺利开展，数学学院党委书记李志辉，院长杨晗带队深入课堂进行巡视。新学期伊始，课程展现出良好的风貌。今后学院将不断加强教学工作的监督和管理，着力营造良好的教风、学风、推进学校教学内涵式发展。陈罗平老师主讲的《矩阵计算》课堂李成刚老师主讲的《实变函数》课堂王健鹏老师主讲的《概率论与数理统计》课堂
2025-9
时间：19:30 地点：腾讯会议 主讲人：肖杰
时间：10:00 地点：X30456 主讲人：孟德宇
时间：16:30 地点：X30456 主讲人：孙剑
2025-7
时间：15:30 地点：X30456 主讲人：Anand D. Sarwate
