报告1:怎样写好项目申报书
时间:2023年10月23日(星期一)15:00--16:30
所在:北主楼1204
摘要:主要介绍科研项目书每一个部分准确的誊写名堂和相互之间的逻辑关系,,,以及怎样衔接以便评委更好地明确申报人的学术头脑和研究要领,,,并举例加以说明。
报告2:序结构与拓扑结构融合
时间:2023年10月23日(星期一)17:00--18:30
所在:北主楼1204
摘要:在当今科技开展和人类生涯中,,,盘算机已成为不可或缺的工具。程序语言作为人类和盘算机交互的前言,,,将人类从众多繁重的事情中解放出来。为了更好地设计和使用程序语言,,,需要建想程序语言的数学模子,,,使用数学理论与要领资助设计职员建设更高效、、应用规模更广的程序语言。因此,,,上世纪70 年月初,,,图灵奖得主Dana Scott 使用偏序结构和拓扑结构提出连续的定向完整偏序集作为程序语言的数学模子,,,因而定向完整偏序集上的序性子和拓扑性子研究就吸引了许大都学学者的关注,,,近年来我国也有许多学者在这个领域作出了主要的孝顺。
法国的布尔巴基学派将数学结构分为三大类:代数结构、、序结构、、拓扑结构。一个T0的拓扑空间可以给出一个序结构,,,反之一个偏序集上的序结构能天生几个著名的蕴含拓扑,,,序结构与拓扑结构的相互融合成为研究定向完整偏序集的主要特色,,,也组成了非Hausdorff理论的主要研究内容。本报告将围绕定向完整偏序集上的一个蕴含拓扑--Scott拓扑睁开,,,讨论它的一些拓扑性子,,,将聚焦它的一个疏散性子—Sober性,,,给出关于Sober性的一些基本效果和涉及其的一些公开问题和研究希望。
报告人简介:李庆国,,,博士,,,湖南大学数学学院二级教授,,,博士生导师,,,校学术委员会委员。1999年7月至2000年6月及2008年11月至2009年11月划分在美国科罗拉多大学数学系和康涅底克大学数学系作会见教授。2000年12月起担当湖南大学应用数学专业博士生导师。现为中国系统工程学会模糊数学与模糊系统委员会副理事长,,,湖南省数学学会副理事长。入选湖南省121人才第一条理,,,国务院政府特殊津贴获得者,,,湖南大学岳麓学者。曾获2013年湖南省自然科学一等奖,,,排名第一。已完成国家自然科学基金面上项目五项。现正承当国家自然科学基金重点项目一项。现在主要研究领域为盘算机程序语言的指称语义--Domain理论,,,非Hausdorff拓扑。至今为止,,,已在《Applied Categorical Structures》《Information and Computation》《Annals of Pure and Applied Logic》《Information Sciences》《Theoretical Computer Science》《Topology and its Applications》《Journal of Pure and Applied Algebra 》《Algebra Universalis》《Fuzzy Sets and System》等国际期刊上揭晓论文100 余篇。
壹号娱乐APP学科与科技(社科)开展中心
壹号娱乐APP数学与盘算科学学院
2023年10月18日