咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 3 篇 管理学
    • 3 篇 管理科学与工程(可...
  • 1 篇 工学
    • 1 篇 控制科学与工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 3 篇 表推演方法
  • 2 篇 中介逻辑系统
  • 2 篇 关系数据库
  • 2 篇 不完全信息数据库
  • 2 篇 不完全信息
  • 1 篇 sql
  • 1 篇 自动定理证明
  • 1 篇 中介逻辑

机构

  • 3 篇 南京航空航天大学

作者

  • 1 篇 朱梧槚
  • 1 篇 张东摩
  • 1 篇 金仁康
  • 1 篇 潘娜

语言

  • 3 篇 中文
检索条件"主题词=表推演方法"
3 条 记 录,以下是1-10 订阅
排序:
不完全信息系统的理论研究
不完全信息系统的理论研究
收藏 引用
作者: 潘娜 南京航空航天大学
学位级别:硕士
不完全信息数据库与 SQL 语言的语义是数据库理论的两个重要研究方向,不仅具有重要的理论价值,而且还具有很高的应用价值。本文借助中介逻辑谓词演算系统 MFM,对不完全信息系统的理论和应用进行了研究。为了更好地处理不完全信息数据库... 详细信息
来源: 评论
用于不完全信息数据库的逻辑系统研究
用于不完全信息数据库的逻辑系统研究
收藏 引用
作者: 金仁康 南京航空航天大学
学位级别:硕士
不完全信息数据库是数据库领域的重要研究方向,不仅具有重要的理论价值,而且还具有重要的应用价值。中介逻辑命题演算系统MPM和中介逻辑谓词演算系统MFM是一种适用于处理不完全信息的新的逻辑系统。本文建立了MPM系统的范式理论,构... 详细信息
来源: 评论
中介自动推理的理论与实现(Ⅰ)——中介命题逻辑的推演系统
收藏 引用
模式识别与人工智能 1994年 第2期7卷 87-93页
作者: 朱梧槚 张东摩 南京航空航天大学计算机科学研究室 南京210016
本文后其后续文章将系统地探讨中介逻辑诸子系统的自动推理理论及其实现方式。本文着重讨论中介命题逻辑的自动定理证明理论。文中给出了中介命题逻辑MP及MP的推演系统,证明了该系统的可靠性与完备性,并给出利用这一理论实现M... 详细信息
来源: 评论