吴忠躺衫网络科技有限公司

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

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

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

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

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

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

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

      ?
      百家乐官网稳赢赌法| 崇信县| 百家乐官网网站源码| 大发888游戏平台电子| 24山度数| 优博注册| 百家乐百胜注码法| 百家乐官网庄闲比| 乐都县| 威尼斯人娱乐城不打烊| 百家乐官网开户最快的平台是哪家 | 棋牌游戏源码| 百家乐制胜绝招| 做生意养猫风水| 正品百家乐官网地址| 阿拉尔市| 威尼斯人娱乐城微博| 百家乐现金网开户平台| 免费百家乐官网的玩法技巧和规则| 娱乐城百家乐官网规则| 伟德国际博彩| 大发888集团| 威尼斯人娱乐备用622 | 太阳会百家乐官网现金网| 新葡京娱乐| 大发888注册开户| 宽城| bet365百家乐| 大发888娱乐场菲律宾| 百家乐可以破解吗| 百家乐自动投注| 保险百家乐怎么玩| 开心8百家乐娱乐城| 百家乐算牌皇冠网| 免费百家乐官网过滤| 百家乐官网出千方法技巧| 百家乐官网赢钱心得| 百家乐官网注码方法| 38坊娱乐城| 宜昌市| 永修县|