那曲檬骨新材料有限公司

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

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

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

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

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

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

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

      ?
      在线博彩| 安桌百家乐游戏百家乐 | 百家乐官网视| 东乡县| 威尼斯人娱乐城博彩网| 百家乐趋势方向| 百家乐官网网址是多少| 大发888娱乐备用网址| 百家乐小型抽水泵| 太阳城百家乐官网红利| 娱乐城开户送38体验金| 太阳神百家乐的玩法技巧和规则| 海尔百家乐官网的玩法技巧和规则 | 百家乐官网大轮转| 阳东县| 顶级赌场官方下载| 百家乐双峰县| 百家乐3号眨眼技术| 宝马会百家乐官网娱乐城| 商河县| 盛大娱乐城现金网| 大发888真钱娱乐场下载| 百家乐最佳打| 百家乐胜率在哪| 百家乐官网微笑打法| 临汾玩百家乐官网的人在那里找| 时时博在线娱乐城| 太阳城亚州| 钱隆百家乐智能| 百家乐包赢| V博百家乐官网的玩法技巧和规则| 百家乐官网优博u2bet| 百家乐官网如何必胜| 皇冠足球投注图| 战神线上娱乐| 边城棋牌中心| 大发888官方下载安装| 百家乐变牌器| 百家乐羸钱法| tt百家乐的玩法技巧和规则| 网上百家乐赌法|