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

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 3 篇 理学
    • 3 篇 数学
  • 1 篇 哲学
    • 1 篇 哲学

主题

  • 3 篇 真度
  • 3 篇 闭集
  • 3 篇 闭逻辑理论
  • 3 篇 相容性
  • 3 篇 逻辑度量空间
  • 1 篇 相似度
  • 1 篇 伪距离

机构

  • 3 篇 陕西师范大学

作者

  • 3 篇 高菲菲
  • 1 篇 王国俊

语言

  • 3 篇 中文
检索条件"主题词=闭逻辑理论"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
多值命题逻辑中逻辑理论的拓扑刻画
收藏
分享
引用
模糊系统与数学 2008年 第2期22卷 24-30页
作者： 高菲菲 王国俊 陕西师范大学数学与信息科学学院 陕西西安710062
基于多值Lukasiewicz命题逻辑系统Ln中的计量逻辑学理论,研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系,并给出了闭逻辑理论的拓扑性质描述及多值命题逻辑中逻辑理论的发散性的拓扑刻画。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
多值命题逻辑中若干逻辑理论的拓扑刻画
多值命题逻辑中若干逻辑理论的拓扑刻画
收藏
分享
引用
作者： 高菲菲 陕西师范大学
学位级别：硕士
数理逻辑的特点在于形式化和符号化,它和计算数学有着截然不同的风格,前者注重形式推理,而后者注重数值计算;前者强调严格论证,而后者允许近似求解,如果说数理逻辑具有刻板的一丝不苟的形象,那么计算数学具有灵活的张驰有度的特征.一个... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
三值Luk命题逻辑系统中逻辑理论的拓扑刻画
收藏
分享
引用
纺织高校基础科学学报 2008年 第1期21卷 25-28页
作者： 高菲菲 陕西师范大学数学与信息科学学院 陕西西安710062
基于三值Lukasiewicz命题逻辑系统Luk3中的计量逻辑学理论,研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系,并给出了闭逻辑理论的拓扑性质描述及多值命题逻辑中逻辑理论的发散性的拓扑刻画.
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件