10月13日，數(shù)計(jì)學(xué)院邀請(qǐng)我?？妥淌凇㈥兾鲙煼洞髮W(xué)博士生導(dǎo)師李永明教授來(lái)校作題為《時(shí)序邏輯及其量化》的學(xué)術(shù)報(bào)告。學(xué)院全體教師及80余名學(xué)生代表參加了報(bào)告會(huì)。報(bào)告會(huì)由數(shù)計(jì)學(xué)院副院長(zhǎng)李會(huì)榮主持。

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

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

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

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