10月13日，數(shù)計學(xué)院邀請我?？妥淌?、陜西師范大學(xué)博士生導(dǎo)師李永明教授來校作題為《時序邏輯及其量化》的學(xué)術(shù)報告。學(xué)院全體教師及80余名學(xué)生代表參加了報告會。報告會由數(shù)計學(xué)院副院長李會榮主持。

報告中，李永明教授簡單回顧了時序邏輯領(lǐng)域，包括時間的形式化模型、遷移系統(tǒng)模型以及幾種典型的時序邏輯系統(tǒng)，介紹了時序邏輯的主要研究方向、應(yīng)用領(lǐng)域以及團隊在定量時序邏輯方面的一些具體工作和對未來的展望。與會師生紛紛表示，此次報告會內(nèi)容豐富、講述生動，使自己受益匪淺，開闊了學(xué)術(shù)視野，激發(fā)了從事科學(xué)研究的熱情和興趣。

報告會后，李永明教授與數(shù)計學(xué)院相關(guān)負(fù)責(zé)人、教師代表就秦嶺康養(yǎng)陜西高校工程中心建設(shè)情況進(jìn)行深入交流。李永明教授對工程中心目前取得成績表示肯定，針對后期平臺建設(shè)、學(xué)科發(fā)展以及服務(wù)地方等方面提出了寶貴的建議，同時還對學(xué)院2024年國家自然科學(xué)基金申報情況進(jìn)行指導(dǎo)，特別是在團隊組建、申報注意事項、申報書的撰寫等方面提出了具體修改意見。

李永明教授還參觀了我校秦嶺植物標(biāo)本陳列室、商洛紅色文化資料館和商洛文化暨賈平凹研究中心。

（數(shù)計學(xué)院供稿 文/李南 圖/石若楠）