![]()
内容简介 《量化Domain理论》较系统地介绍了量化Domain的基本理论,主要是作者20余年研究工作的系统总结,同时也兼顾国际上此领域中的新研究成果。 《量化Domain理论》具体分为两大部分:首部分介绍了Domain理论中20余年发展起来的拓扑空间的偏序集模型、偏序集与To空间中的收敛理论以及To空间上的Domain理论;第二部分较系统地介绍了量化Domain理论的主要分支——格值Domain理论的基本内容以及新研究成果。 《量化Domain理论》可作为格上拓扑学、Domain理论、不确定性的数学理论等基础数学和理论计算机专业的研究生教材,也可供数学与计算机等相关专业的高年级本科生、教师与研究人员阅读参考。 目录 前言序言 Domain理论由图灵奖得主D.Scott在20世纪60年代末70年代初建立,其基本目的是为C.Strachey的指称语义学提供数学模型,是理论计算机科学的数学基础之一,后经M.Smyth和G.D.Plotkin等人的工作,经过近40年的发展,该理论已与逻辑学、范畴论、拓扑学、格论、Locale理论等众多数学分支发生了密切的关联,序和拓扑的相互结合、相互作用是这一理论的基本特征,正是这一特征使Domain理论自从创立起就成为计算机科学与数学研究者共同感兴趣的领域,也使这一理论具有广泛的应用空间。 Domain理论的提出来源于两个完全不同的背景:一个源于计算机程序设计语言的指称语义学的研究,另一个源于纯数学的研究,在计算机程序设计语言的指称语义学的研究方面,1969年,D.Scott首先发现了连续格,他的主要思想是抽象和公理化计算的基本数学特征,然后发展为一般的数学结构与理论,并为之提供恰当的数学模型。在纯数学的研究方面,大约与D.Scott工作的同一时期,J.D.Lawson研究了一类特殊的紧半格,K.H.Hofmann和A.Stralka为寻求对这类紧半格的纯代数描述,定义了一种具有特殊性质的完备格,但他们很快发现,这种完备格恰好是D.Scott所定义的连续格,从两种不同的背景出发,导致对同一对象的发现,刺激了这一领域的研究。1980年,G.Gierz、K.H.Hofmann、K.Keimel、J.D.Lawson、M.Mislove和D.Scott六位作者共同撰写了关于连续格理论的著名专著《A Compendium of Continuous Lattices》,这是对Domain理论前期形式的连续格理论工作的系统总结。2003年,这本书又被修订,出版了专著《Continuous Lattices and Domains》,再版中 |