衡阳派盒市场营销有限公司

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

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

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

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

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

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

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

      ?
      百家乐官网和| 百家乐官网2号说名书| 百家乐高额投注| 百家乐官网技巧大全| 现金网注册| 百家乐博娱乐场| 在线百家乐官网作弊| 百家乐官网赢得秘诀| 威尼斯人娱乐城优惠| 百家乐数据程序| 真人百家乐官网开户优惠| 万豪国际娱乐| 大发888娱乐城m88| 新世百家乐的玩法技巧和规则| 百家乐官网技巧开户| 网络百家乐官网金海岸破解软件| 易赢百家乐官网软件| 澳门凯旋门娱乐城| 大发888真人娱乐城| 免费百家乐在线| 百家乐官网平预测软件| 澳门百家乐官网规律星期娱乐城博彩 | 百家乐官网种类| 百家乐官网走势图| 百家乐官网电话投注多少| 百家乐官网技巧在那里| 大发888网页登陆| 大发888游戏官方网站| 米其林百家乐的玩法技巧和规则| 澳门百家乐实战| 顶尖百家乐对单| 百家乐辅助工具| 华盛顿百家乐官网的玩法技巧和规则 | 大发888亚洲游戏| 威尼斯人娱乐网赌| 伟易博百家乐娱乐城| 百家乐永利娱乐场开户注册| 百家乐平注法攻略| 打百家乐最好办法| 利高百家乐的玩法技巧和规则 | 曼哈顿百家乐官网娱乐城|