李永明教授為數(shù)學(xué)與計(jì)算機(jī)應(yīng)用學(xué)院師生作學(xué)術(shù)報(bào)告
2023-10-16
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ì)師生紛紛...