报告题目：On weak convex MV-algebras

主 讲 人：史福贵教授（北京理工大学数学与统计学院）

报告时间：12月6 日9:00-10:00

报告地点：腾讯会议ID：323657412

主办单位：002cc白菜资讯

报告摘要：The aim of this paper is to introduce convex structures on MV-algebras such that the MV-operations are convexity preserving or weak convexity preserving. Therefore, we propose the concepts of (semi, para, quasi, weak) convex MV-algebras. And, we present some concrete examples to show the relationships between these concepts. We show that the standard MV-algebra endowed with its interval convexity is a weak convex MV-algebra. A finite MV-chain endowed with a non-trivial convex structure becomes a weak convex MV-algebra i.e. the convex structure is precisely its interval convexity. We further get that each finite MV-algebra endowed with its interval convexity is a weak convex MV-algebra.

主讲人简介：史福贵,北京理工大学数学与统计学院二级教授,理学与材料学部委员，博士生导师；中国运筹学会理事、中国系统工程学会模糊数学与模糊系统委员会副理事长、北京运筹学会副理事长、北京数学会副监事长，《Mathematics》（SCI）、《Iranian Journal of Fuzzy Systems》（SCI）、《Journal of Advanced Studies in Topology》、《Asian Journal of Fuzzy and Applied Mathematics》、《数学实践与认识》和《 模糊系统与数学》等杂志的编委。 主持国家自然科学基金三项和博士点基金一项。发表SCI索引论文150余篇。主要研究方向有：模糊拓扑，模糊拟阵，模糊凸空间等。

报告题目：关于重叠函数和分组函数的研究

主 讲 人：胡宝清教授（武汉大学数学与统计学院）

报告时间：12月6日10:00-11:00

报告地点：腾讯会议ID：323657412

主办单位：002cc白菜资讯

报告摘要：主要从t-模的推广研究出发介绍了重叠函数和分组函数的引入以及构造、性质、推广等方面的研究进展，介绍了我们在重叠函数和分组函数的研究成果，这些研究成果包括：(1)重叠函数和群组函数通过加法生成算子和乘法生成算子的构造; (2)重叠函数和群组函数的迁移性、齐次性、幂等性、消去律等性质; (3)区间重叠函数和区间群组函数以及重叠函数和群组函数的区间表示；（4）完备格上重叠函数和群组函数研究等。

主讲人简介：胡宝清，男，武汉大学数学与统计学院教授、博士生导师。武汉大学信息与计算科学学科的学术带头人之一，中国系统工程学会模糊数学与模糊系统专业委员会副理事长、《模糊系统与数学》杂志编委、中国运筹学会模糊信息与工程分会常务理事。胡宝清教授长期从事不确定性数学理论、智能计算与不确定性信息处理及其应用研究。主持国家自然科学基金四项,主持或参加国家“十三五”专项、国家“八五”攻关项目、国家教委博士学科点基金项目、香港政府研究资助局项目、教育部骨干教师计划基金等十多项科研项目，并获多项省部级自然科学奖和科技进步奖。参加的东北电网水库调度自动化系统的合作项目达到国际先进水平，主持其中的实用化软件开发达到国际领先水平。在国内外重要学术刊物发表学术论文190余篇，其中SCI检索110多篇

报告题目：知识空间理论及其应用

主 讲 人：李进金教授（闽南师范大学）

报告时间：12月6日11:00-12:00

报告地点：腾讯会议ID：323657412

主办单位：002cc白菜资讯

报告摘要：知识空间理论(Knowledge space theory,简称“KST”)是由美国数学心理学家Falmagne和比利时数学心理学家Doignon于1985年首先提出的，是一种用数学方法对学习者进行知识评价及学习指导的数学心理模型。报告介绍知识空间理论的研究背景、国内外研究动态、研究内容与意义、重点解决的问题、关键难点及解决办法。

主讲人简介：李进金，闽南师范大学二级教授、理学博士、博士生导师，享受国务院政府特殊津贴, 闽南师范大学原董事长，华侨大学特聘教授。主要从事拓扑学及其应用、不确定性的数学理论及其应用等领域的研究，涉及覆盖性质与广义度量理论、粗糙集理论及其应用、概念格理论及其应用、知识空间理论及其应用等领域。在国内外专业期刊发表论文150多篇，其中80多篇被SCI收录；主持5项国家自然科学基金项目，获福建省科技进步二等奖1项，获福建省十三届社会科学优秀成果奖三等奖1项，出版专著和教材7部，主持完成省级及以上公司产品改革项目5项；分别获福建省基础教育类教学成果奖特等奖（排名第一），获基础教育国家级教学成果奖二等奖（排名第一）。目前是省级数学与应用数学核心课教学团队带头人，首批国家一流专业“数学与应用数学”专业建设点负责人，《拓扑学》国家级线下一流本科课程负责人。

报告题目：定向空间的核紧性及相关C-生成空间

主 讲 人：寇辉教授（四川大学002cc白菜资讯）

报告时间：12月6日15:00-16:00

报告地点：腾讯会议ID：664246611

主办单位：002cc白菜资讯

报告摘要：拓扑空间的核紧性（core-compact）是指其拓扑作为完备格是一个连续格。关于核紧性最著名的结论是1975年Isbell证明：一个拓扑空间是拓扑空间范畴的指数对象当且仅当它是核紧的。而对于赋予Scott拓扑的偏序集来说，其核紧性等价于它与任意一个赋予Scott拓扑的偏序集的拓扑乘积恰好等于赋予Scott拓扑的序乘积。定向空间是一类比赋予Scott拓扑的偏序集更广泛的拓扑空间，其全体构成的范畴具有Cartesian闭性，因此可以看成Domain理论的扩展模型。本文主要报告：（1）定向空间的核紧性及相关性质，（2）由某些核紧定向空间组成的子类生成的拓扑空间（C-generated spaces）。

主讲人简介：寇辉，四川大学002cc白菜资讯教授、博士生导师。2003年获得四川省科技进步二等奖，2007年入选教育部新世纪优秀人才支持计划。主要从事理论计算机科学与数学的交叉领域-Domain理论及不确定性数学的研究。作为负责人先后主持多项国家自然科学基金，作为高级研究人员参加科技部“973”项目一项。目前担任四川大学002cc白菜资讯分管本科教学及公司产品的副经理，中国系统工程学会模糊数学与模糊系统专业委员会常务委员、秘书长。

报告题目：A Hofmann-Mislove theorem for approach spaces

主 讲 人：张德学教授（四川大学002cc白菜资讯）

报告时间：12月6日16:00-17:00

报告地点：腾讯会议ID：664246611

主办单位：002cc白菜资讯

报告摘要

The Hofmann-Mislove theorem says that compact saturated sets of a sober topological space correspond bijectively to open filters of its open set lattice. This talk concerns an analogy of this result for approach spaces. The notion of compact functions of approach spaces is introduced. Such functions are an analogue of compact subsets in the enriched context.  It is shown that for a sober approach space, the inhabited and saturated compact functions correspond bijectively to the proper open $[0,\infty]$-filters of the metric space of its upper regular functions, which is an analogy of the Hofmann-Mislove theorem for approach spaces. (Joint work with Junche Yu)

主讲人简介：张德学，四川大学教授，博导。主要研究模糊序理论，模糊拓扑，特别强调范畴论的方法。已发表SCI论文50余篇, 教育部跨（新）世纪优秀人才，省部级有突出贡献优秀专家，享受国务院特殊津贴专家，先后主持多项国家自然科学基金。《Fuzzy Sets and Systems》和《模糊系统与数学》编委。曾任国际模糊系统协会IFSA副主席，现任中国系统工程学会模糊数学与模糊系统专业委员会副理事长。

报告题目：Dedekind-MacNeille完备化不变性质

主 讲 人：徐晓泉教授（闽南师范大学002cc白菜资讯）

报告时间：12月6日17:00-18:00

报告地点：腾讯会议ID：323657412

主办单位：002cc白菜资讯

报告摘要：性质S 称为是完备化不变性质，若对任意偏序集P，P 具有性质S 当且仅当P 的Dedekind-MacNeille 完备化具有性质S。在本报告中，我们将对国内外学者在完备化不变性质方面的研究成果做简要综述，并给出一些遗留问题和值得进一步研究的论题。

主讲人简介：徐晓泉，闽南师范大学二级教授，博士生导师，国家有突出贡献的中青年专家，享受国务院政府特殊津贴专家。教育部高等学校数学类专业教学指导委员会委员，福建省粒计算及其应用重点实验室主任，江西省主要学科新世纪学术和技术带头人。曾任中国系统工程学会模糊数学与模糊系统专业委员会副理事长，中国高等教育学会教育数学专业委员会副理事长。主要从事拓扑学、Domain理论研究，主持国家自然科学基金项目6项，作为主要成员承担国家自然科学基金重点项目2项，在Trans. AMS、Proc. AMS、Fund. Math.、Topol. Appl.等刊物上发表学术论文100余篇，出版专著2部；获全国百篇优秀博士学位论文奖、省部级科技奖励3项。