Cartesian闭范畴相关论文
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础,序与拓扑的相互结合,相互作用在这一理论中起着基本而重要的作用.这......
Domain理论具有理论计算机科学与纯粹数学的双重研究背景.在一个经典偏序集中,仅仅能够表达元素之间的定性信息,而没有实际计算所......
Domain理论具有理论计算机科学与纯粹数学的双重研究背景,它是计算机程序设计语言指称语义学研究的数学基础,它与拓扑、逻辑、代数......
1969年,D.S.Scott提出了 Domain理论,旨在为计算机程序语言的指称语义提供数学基础.序、拓扑和逻辑的相互转换、相互作用是其基本......
上世纪70年代初产生的Domain理论是理论计算机科学中程序设计语言指称语义学的数学基础,具有理论计算机科学和纯粹数学的双重研究......
随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的关注和重视，已成为数学和计算机科学研究者共同感兴趣的领......
在理论计算机与纯数学的双重背景下产生的Domain理论是理论计算机科学的基础和核心，起着举足轻重的作用.它以数学为工具，运用符号和......
研究几乎代数dcpo的性质,并得到如下主要结果：1）具有可数几乎代数弱闭基的有界完备domain构成的范畴是Cartesian闭的;2）对每个具有（可......
超连续格（超连续完备半格）可以由函数空间刻画,并且超连续格（超连续完备半格）在Scott连续函数空间下是封闭的,进而其相应的范畴均是Car......
讨论了关于双Scott拓扑的一些性质.证明了范畴BICONT(即以双连续格为对象,以双Scott连续映射为态射的范畴)作为两个Cartesian闭范......
通过逼近的方式刻画c-空间,通过序与拓扑相结合的方式定义一类特殊的c-空间,称之为并半格c-空间,该结构是domain理论中连续格这一......
应用拓扑学和序科学的理论和方法研究信息逻辑结构是现代信息论的一个主要研究方向。本文先介绍了信息结构模型研究的主要历史成果......
