注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 部分K值逻辑中最小覆盖之判定的一些结果

  2. 根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。

  3. 所属分类：其它

    • 发布日期：2021-02-22
    • 文件大小：471040
    • 提供者：weixin_38750644

  1. 正则可离关系之最小覆盖成员的判定结果

  2. 根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：164864
    • 提供者：weixin_38696590