由函数决定的序结构及相关问题
报告专家：寇辉教授（四川大学）
报告时间：7月30日（星期四）下午16:00-17:00
报告地点：数学学院202
报告摘要：
Domain理论起源于美国著名学者、图灵奖获得者Dana Scott等对函数式程序指称语义的研究。60年代末至70年代初,Scott发现, 在一类被称为定向完备偏序集的特殊序结构上,可以自然地赋予一种内蕴拓扑,即Scott拓扑,进而可为λ-演算建立称之为“domain-model”的模型,使λ-演算的指称语义成为可能.由此形成的Domain理论,使λ-演算获得严格数学模型,为几乎所有过程式和函数式的程序语言语义,奠定了基础。本报告主要介绍通过函数产生的重要Domain结构、相关问题及其进展，为感兴趣的学者尤其是青年学者提供有益的参考。
专家简介：
寇辉，四川大学数学学院教授、博士生导师。主要从事拓扑学及Domain理论的研究。先后主持国家自然科学基金多项。2003年获四川省科技进步二等奖，2007年入选教育部新世纪优秀人才支持计划，2024年入选蓉城英才计划“教育领军人才”。目前担任四川大学数学学院副院长，及中国系统工程学会模糊数学与模糊系统专业委员会副主任委员。
邀请人：张德学
