1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 部分K值逻辑中最小覆盖之判定的一些结果.pdf

论文研究 部分K值逻辑中最小覆盖之判定的一些结果.pdf

上传者: 2020-08-23 06:34:58上传 PDF文件 469.6KB 热度 11次
根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。
用户评论