期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
Lawson紧的代数L-domain递归方程的逻辑形式
1
作者 王龙春 邹娟 《模糊系统与数学》 北大核心 2022年第5期69-80,共12页
本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系,证明了N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子:提升,联结和以及分离和。从而求解domain结... 本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系,证明了N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子:提升,联结和以及分离和。从而求解domain结构递归方程的问题可归结为如何构建连续映射的不动点。 展开更多
关键词 domain理论 Lawson紧的代数L-domain N-序列演算 domain构造算子 domain递归方程
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部