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

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

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

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

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

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

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

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

      ?
      百家乐官网大转轮| 百家乐官网龙虎台布| 一筒百家乐的玩法技巧和规则 | 新泰市| 威尼斯人娱乐场送1688元礼金领取lrm| 宝马会百家乐官网的玩法技巧和规则| 皇冠网| 大发888的比赛怎么报名| 百家乐现场投注平台| 可以玩百家乐官网的博彩网站| 澳门新濠天地| sz新全讯网网址112| 网络百家乐金海岸| 做生意什么花风水好| 百家乐官网技巧下载| 百家乐官网最佳公式| 利好线上娱乐| 大发888官方体育| 乐天堂百家乐娱乐场| 赌博百家乐赢不了| 瑞士百家乐官网的玩法技巧和规则| 百家乐官网全程打庄| 真人游戏百家乐| 大发888 游戏下载| 百家乐百家乐技巧| 百家乐赌场彩| 澳门百家乐心得玩博| 百家乐的打法技巧| 百家乐赌场作弊| 风水24山详解| 百家乐官网游戏程序出售| 泽州县| 固始县| 百家乐官网娱乐城优惠| 百家乐官网娱乐城新闻| 台山市| 平山县| 9人百家乐官网桌布| 百家乐官网投注综合分析法| 百家乐官网棋牌正式版| 豪华百家乐官网人桌|