您的位置： 专家智库 > >

湖南省科技计划项目(2011FJ6038)

作品数：2 被引量：3H指数：1
相关作者：王婷刘任任罗秋棠更多>>
相关机构：湘潭大学华东师范大学更多>>
发文基金：国家自然科学基金湖南省科技计划项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇准完备集
  • 1篇完备集
  • 1篇完满
  • 1篇计数
  • 1篇函数
  • 1篇多值逻辑
  • 1篇SHEFFE...

机构

  • 2篇湘潭大学
  • 1篇华东师范大学

作者

  • 2篇刘任任
  • 2篇王婷
  • 1篇罗秋棠

传媒

  • 1篇武汉大学学报...
  • 1篇计算机科学

年份

  • 2篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
部分多值逻辑中单纯可离和完满对称关系的计数被引量：3
2012年
根据部分多值逻辑的完备性理论,对两类准完备集——单纯可离函数集和完满对称函数集进行研究,给出了单纯可离和完满对称关系的函数的计数公式。
王婷刘任任
关键词：多值逻辑
部分多值逻辑中保正规关系的准完备集的性质被引量：1
2012年
在多值逻辑完备性理论中,Sheffer函数的刻划是一个重要的问题,此问题的解决可归结为定出其准完备集的最小覆盖.本文对部分多值逻辑函数集中保正规关系的准完备集的性质进行了研究,为确定部分多值逻辑函数集中准完备集的最小覆盖奠定了一定的基础.
刘任任罗秋棠王婷
关键词：准完备集SHEFFER函数
全选 清除 导出
共1页<1>
聚类工具0