李永明教授為數(shù)學(xué)與計算機(jī)應(yīng)用學(xué)院師生作學(xué)術(shù)報告
2023-10-16
10月13日,數(shù)計學(xué)院邀請我??妥淌凇㈥兾鲙煼洞髮W(xué)博士生導(dǎo)師李永明教授來校作題為《時序邏輯及其量化》的學(xué)術(shù)報告。學(xué)院全體教師及80余名學(xué)生代表參加了報告會。報告會由數(shù)計學(xué)院副院長李會榮主持。報告中,李永明教授簡單回顧了時序邏輯領(lǐng)域,包括時間的形式化模型、遷移系統(tǒng)模型以及幾種典型的時序邏輯系統(tǒng),介紹了時序邏輯的主要研究方向、應(yīng)用領(lǐng)域以及團(tuán)隊在定量時序邏輯方面的一些具體工作和對未來的展望。與會師生紛紛...