那曲檬骨新材料有限公司

您好,歡迎來電子發燒友網! ,新用戶?[免費注冊]

您的位置:電子發燒友網>源碼下載>數值算法/人工智能>

正則模型類的時態可定義性

大小:0.60 MB 人氣: 2017-12-29 需要積分:2

  正則模型是非正規模態邏輯的模型,通過定義正則模型的不相交并、C2t-互模擬、生成子模型、C2t-超濾擴張等模型上的運算,可以證明一個正則模型類在時態語言中可定義當且僅當它在不相交并、滿C2t-互模擬像、C2t-超濾擴張下封閉,并且它的補類在C2t-超濾擴張下封閉,該刻畫定理說明了時態語言在正則模型類上的表達力。
?

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

      用戶評論
      評價:好評中評差評

      發表評論,獲取積分! 請遵守相關規定!

      ?
      百家乐平注法到65688| 百家乐小型抽水泵| 广州百家乐官网筹码| 百家乐官网赌博游戏平台| 网络百家乐官网模拟投注| 百家乐官网高档筹码| 线上百家乐官网玩法| 百家乐官网娱乐平台网77scs| 电子百家乐官网作假| 百家乐官网电器维修| 百家乐官网存200送200| 坟地风水24穴| 去澳门百家乐娱乐城| 真人百家乐娱乐场开户注册| 百家乐7scs娱乐场| 百家乐赢钱面面观| 老虎机的规律| 尊龙线上娱乐| 温州百家乐官网真人网| 百家乐官网论坛香港马会| 大三巴百家乐官网的玩法技巧和规则| 赌百家乐的体会| 中华百家乐娱乐城| 在线水果机游戏| 皇冠博彩| 保单机百家乐官网破解方法| 网上百家乐官网的玩法技巧和规则| 澳门百家乐官网官方网站破解百家乐官网技巧 | 百家乐怎么样投注| 南京百家乐的玩法技巧和规则| 威尼斯人娱乐网| 德州扑克明星| 博彩百家乐官网软件| 扑克百家乐官网麻将筹码防伪| 视频百家乐是真是假| 大发888官网| 邯郸百家乐官网园真钱区| 千亿娱百家乐官网的玩法技巧和规则 | 全讯网sp| 涟源市| 什么事百家乐官网的路单|