Scott连续映射相关论文
Domain理论主要研究具有特殊性质的偏序集,其目的是为程序语言指称语义提供数学模型.由于具有明显的计算机科学背景以及其研究涉及......
Fuzzy格间的序同态概念,一方面保持Fuzzy点的高度不变,同时又保留了把分子映成分子的性质.后来王国俊教授舍弃了Fuzzy格上逆序对合对......
研究相客连续L-domain之间的稳定映射以及相容FS-domain之间的一致交换映射的不动点之集的性质.......
定义了L-fuzzy连续格,它是分明连续格的一种推广,并且保持了分明连续格的部分性质.对通常映射进行了提升,给出了L-fuzzyScott连续映射......
Domain理论的目的是为程序设计语言提供数学语义模型,信息状态域的指称称为Domain,而程序的指称是Domain间的映射.本文主要介绍Dom......
对于CONT的任意一个笛卡儿闭的满子范畴够,构造CONT的两个新的满子范畴R-L(以移对象的收缩为对象的范畴)和B-L(以L扩张序列的双极限为......
本文在L为完全分配格的情况下,定义了L—fuzzy定向子集,定向并,L—fuzzy domain,L—fuzzy Scott连续映射概念.借助集合套的思想讨论了L......
Domain理论由图灵奖获得者D.S.Scott创立,其目的是为函数式程序语言的指称语义提供一个数学模型.该理论的主要研究对象是一些具有......