您的位置： 专家智库 > >

冯晶晶

作品数：1 被引量：0H指数：0
供职机构：西安培华学院更多>>
发文基金：陕西省教育厅科研计划项目更多>>
相关领域：理学更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇定理
  • 1篇谓词
  • 1篇逻辑

机构

  • 1篇西安培华学院

作者

  • 1篇冯晶晶

传媒

  • 1篇科技信息

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
模糊满足与项的代入定理
2013年
通过结合一阶谓词演算系统理论,对模糊一阶谓词演算系统理论做了初步的探讨。结合实例给出了模糊满足的概念及其相关概念;并用实例的分析说明了这些概念的必要性和可行性;在此基础上给出在模糊满足下项的代入定理。
冯晶晶
关键词：逻辑谓词
全选 清除 导出
共1页<1>
聚类工具0