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