咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 理学
    • 2 篇 数学

主题

  • 2 篇 模糊完备交半格
  • 2 篇 笛卡尔闭范畴
  • 2 篇 有界完备模糊dcpo
  • 1 篇 有界完备模糊doma...
  • 1 篇 模糊scott连续映射...
  • 1 篇 有界完备代数模糊...

机构

  • 2 篇 陕西师范大学

作者

  • 2 篇 胡亚立
  • 1 篇 刘妮

语言

  • 2 篇 中文
检索条件"主题词=有界完备模糊dcpo"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
模糊dcpo范畴的一个笛卡尔闭的满子范畴
收藏
分享
引用
模糊系统与数学 2014年 第6期28卷 9-15页
作者： 刘妮 胡亚立 陕西师范大学数学与信息科学学院 陕西西安710062
引入了有界完备模糊dcpo的概念,研究了有界完备模糊dcpo的基本性质。证明了当赋值格L是Frame时,以模糊Scott连续映射为态射的有界完备模糊dcpo范畴BC-Fdcpo是以模糊Scott连续映射为态射的模糊dcpo范畴Fdcpo的笛卡尔闭子范畴。同时还给... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
模糊dcpo范畴的几类满子范畴
模糊DCPO范畴的几类满子范畴
收藏
分享
引用
作者： 胡亚立 陕西师范大学
学位级别：硕士
Domain理论是由Scott于20世纪60年代末创立的,其目的是为计算机函数式语言提供指称语义.经过多年的发展,Domain理论已经取得了非常丰富的研究成果.为了支持可计算函数的各种运算,一般要求相应的Domain范畴是笛卡尔闭的,因此范畴笛卡尔... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件