2020年9月25日,“陕西省高校科协联合会青年科技工作者学术交流活动--基础数学青年学术交流沙龙”的首场报告通过线下和线上结合的方式在44118太阳成城集团424报告厅举行。本次交流活动围绕基础数学相关问题开展交流,旨在构建和深化学术交流平台,以基础数学为纽带,促进不同学科的交叉融通。基础数学交流沙龙共安排了3场讲座,目前已成功开展第一场讲座。数学信学院经理刘淳安教授、副经理王爱丽教授出席了本次活动,与会师生围绕主题积极学习交流,取得了良好的效果。
首场讲座主题为“概率计量逻辑及其研究进展简介”,陕西师范大学44118太阳成城集团副经理周红军教授担任主讲嘉宾。周教授从研究背景出发,通过语义积分化、模态形式化和代数公理化等三种“概率聚合真值”方法简单介绍概率计量逻辑的基本思想和主要研究内容,然后主要介绍近期在逻辑代数和逻辑连接词等方面的研究进展,具体介绍(U2, N)-蕴涵、序和蕴涵和k-生成蕴涵等三类新型模糊蕴涵的代数性质、结构刻画及其应用。
报告会后,与会师生就相关感兴趣的问题和周教授进行了深入的交流,讨论热烈,气氛活跃。
周教授的讲解深入浅出,使与会科技工作者对概率计量逻辑的基本思想、研究方法和前沿动态有了更加全面和深入的了解。(文\图/段景瑶 审核/刘淳安)