作者:惠小静 核稿:王文发
2017年5月12-14日,由数学与计算机科学学院主办的“计量逻辑与复杂推理学术会议暨国家自然科学基金重点项目2017年度研讨会”在我校隆重召开。来自北京大学、中科院、山东大学、湖南大学、武汉大学、陕西师范大学等10余所高校的80余人参加了本次会议。
数学与计算机科学学院王文发院长对与会专家学者的到来表示热烈欢迎,感谢他们一直以来对我院的关心,帮助和支持,并简要介绍了学校和学院的发展情况,希望与会专家学者常到我校调研指导,对数学学科建设发展给予更多的关注和支持,并预祝会议取得圆满成功。
之后国家自然科学基金重点项目主持人赵彬教授就本次会议的目的、意义及相关情况作了简要说明,并衷心感谢数学与计算机科学学院对会议的重视以及相关工作人员为筹办会议付出的辛苦劳动。
会议期间,八位校内外专家学者先后针对计量逻辑,复杂推理与多学科交叉的最新进展与成果作了详细而深入的介绍,有陕西师范大学赵彬教授的报告“偏序集上的序收敛”,湖南大学李庆国教授的报告“Domain 理论简介及一些问题”, 山东大学刘华文教授的报告“弱单位半一致模”,中国科学院尚云研究员的报告“基于unsharp 量子逻辑的计算理论”, 陕西师范大学吴洪博教授的报告 “计量逻辑中的广义真度理论”,江西师范大学覃锋教授的报告“聚合算子的结构、构造与形式化”等。报告会后,赵彬教授就国家自然科学基金重点项目的下一步工作做了安排。