2025年6月7日，，数学与盘算科学学院乐成举行专题学术报告会。�！！！Ｑг禾匮幽么舐嵬邪痛笱У恼叛锝淌�、、、杨钋教授，，以及澳门科技大学的刘新副教授莅临讲学。�！！！１ǜ婊嵩诒敝髀�1204课堂举行，，吸引了学院约二十位西席及研究生加入聆听，，现场学术气氛浓重。�！！！�
张扬教授 以《环和群论中的自动推导》为题，，深入介绍了著名一阶逻辑与等式逻辑自动定理证实器 Prover9/Mace4（及其前身Otter）的强盛功效，，详细探讨了使用Prover9在具有对合的环、、、知足消去律的半环/半群以及近环等代数结构中举行研究的多种可能性，，展示了怎样在该系统中编码响应的正义系统，，并乐成磨练了雅各布森可交流定理等经典效果。�！！！Ｓ任俗⒛康氖�，，张教授还运用自动推导手艺证实并推广了群论中涉及幂映射的一系列主要定理。�！！！�
杨钋教授带来了题为 《指示函数及其若干应用》 的精彩报告。�！！！Ｑ罱淌谑紫冉樯芰酥甘荆ǘ嘞钍剑┖慕缢�，，指出其作为研究部分因子设计的新颖工具，，能够有用表征任何此类设计。�！！！Ｋ婧�，，他系统叙述了指示函数的若干性子，，并深入探讨了一般两水平因子设计分辨率之间的联系。�！！！１ǜ嬷�，，杨教授重点研究了由一般两水平因子设计衍生的种种半折叠设计，，乐成将部分通例设计的现有用果拓展至非通例设计领域，，并进一步剖析了区组因子在半折叠设计中的影响。�！！！�
刘新副教授分享了其在一类广义四元数矩阵方程求解方面的最新研究效果。�！！！Ａ踅淌诰劢褂谇蠼庑问轿� AXB+CXD= E的广义四元数矩阵方程，，为攻克此难题，，立异性地提出了两种全新的实体现要领。�！！！；；谡庑┬鹿ぞ�，，他建设了该方程多种解的保存性条件及唯一性判据，，并进一步探讨了陪同方程在差别约束条件下的解保存性问题。�！！！�
报告竣事后，，三位专家与在场师生睁开了起劲而深入的互动交流。�！！！Ｊι怯辉咎嵛�，，围绕报告内容提出了诸多专业问题，，张扬教授、、、杨钋教授和刘新副教授均耐心详尽地予以解答。�！！！Ｕ叛锝淌诮樯艿� Prover9 自动定理证实器 引发了与会师生的浓重兴趣，，现场围绕其应用潜力睁开了热烈的讨论。�！！！�
别的，，张扬教授和杨钋教授还就加拿大曼尼托巴大学留学深造事宜与师生们举行了简要交流。�！！！Ａ跣赂苯淌谝不赜α讼殖⊙赜诎拿趴萍即笱Х醚в肷钤斓淖裳�。�！！！＃ㄎ�/图 数学与盘算科学学院）
