2025年6月7日，數(shù)學(xué)與計(jì)算科學(xué)學(xué)院成功舉辦專(zhuān)題學(xué)術(shù)報(bào)告會(huì)。學(xué)院特邀加拿大曼尼托巴大學(xué)的張揚(yáng)教授、楊釙教授，以及澳門(mén)科技大學(xué)的劉新副教授蒞臨講學(xué)。報(bào)告會(huì)在北主樓1204教室舉行，吸引了學(xué)院約二十位教師及研究生到場(chǎng)聆聽(tīng)，現(xiàn)場(chǎng)學(xué)術(shù)氛圍濃厚。
張揚(yáng)教授 以《環(huán)和群論中的自動(dòng)推導(dǎo)》為題，深入介紹了著名一階邏輯與等式邏輯自動(dòng)定理證明器 Prover9/Mace4（及其前身Otter）的強(qiáng)大功能，詳細(xì)探討了利用Prover9在具有對(duì)合的環(huán)、滿(mǎn)足消去律的半環(huán)/半群以及近環(huán)等代數(shù)結(jié)構(gòu)中進(jìn)行研究的多種可能性，展示了如何在該系統(tǒng)中編碼相應(yīng)的公理體系，并成功檢驗(yàn)了雅各布森可交換定理等經(jīng)典結(jié)果。尤為引人注目的是，張教授還運(yùn)用自動(dòng)推導(dǎo)技術(shù)證明并推廣了群論中涉及冪映射的一系列重要定理。
楊釙教授帶來(lái)了題為 《指示函數(shù)及其若干應(yīng)用》 的精彩報(bào)告。楊教授首先介紹了指示（多項(xiàng)式）函數(shù)的定義，指出其作為研究部分因子設(shè)計(jì)的新穎工具，能夠有效表征任何此類(lèi)設(shè)計(jì)。隨后，他系統(tǒng)闡述了指示函數(shù)的若干性質(zhì)，并深入探討了一般兩水平因子設(shè)計(jì)分辨率之間的聯(lián)系。報(bào)告中，楊教授重點(diǎn)研究了由一般兩水平因子設(shè)計(jì)衍生的各類(lèi)半折疊設(shè)計(jì)，成功將部分常規(guī)設(shè)計(jì)的現(xiàn)有結(jié)果拓展至非常規(guī)設(shè)計(jì)領(lǐng)域，并進(jìn)一步分析了區(qū)組因子在半折疊設(shè)計(jì)中的影響。
劉新副教授分享了其在一類(lèi)廣義四元數(shù)矩陣方程求解方面的最新研究成果。劉教授聚焦于求解形式為 AXB+CXD= E的廣義四元數(shù)矩陣方程，為攻克此難題，創(chuàng)新性地提出了兩種全新的實(shí)表示方法?；谶@些新工具，他建立了該方程多種解的存在性條件及唯一性判據(jù)，并進(jìn)一步探討了伴隨方程在不同約束條件下的解存在性問(wèn)題。
報(bào)告結(jié)束后，三位專(zhuān)家與在場(chǎng)師生展開(kāi)了積極而深入的互動(dòng)交流。師生們踴躍提問(wèn)，圍繞報(bào)告內(nèi)容提出了諸多專(zhuān)業(yè)問(wèn)題，張揚(yáng)教授、楊釙教授和劉新副教授均耐心細(xì)致地予以解答。張揚(yáng)教授介紹的 Prover9 自動(dòng)定理證明器 引發(fā)了與會(huì)師生的濃厚興趣，現(xiàn)場(chǎng)圍繞其應(yīng)用潛力展開(kāi)了熱烈的討論。
此外，張揚(yáng)教授和楊釙教授還就加拿大曼尼托巴大學(xué)留學(xué)深造事宜與師生們進(jìn)行了簡(jiǎn)要交流。劉新副教授也回應(yīng)了現(xiàn)場(chǎng)學(xué)生關(guān)于澳門(mén)科技大學(xué)訪(fǎng)學(xué)與深造的咨詢(xún)。（文/圖 數(shù)學(xué)與計(jì)算科學(xué)學(xué)院）
