亲爱的MBA智库百科用户:


过去的17年,百科频道一直以免费公益的形式为大家提供知识服务,这是我们团队的荣幸和骄傲。 然而,在目前越来越严峻的经营挑战下,单纯依靠不断增加广告位来维持网站运营支出,必然会越来越影响您的使用体验,这也与我们的初衷背道而驰。 因此,经过审慎地考虑,我们决定推出VIP会员收费制度,以便为您提供更好的服务和更优质的内容。


MBA智库百科VIP会员,您的权益将包括: 1、无广告阅读; 2、免验证复制。


当然,更重要的是长期以来您对百科频道的支持。诚邀您加入MBA智库百科VIP会员,共渡难关,共同见证彼此的成长和进步!



MBA智库百科项目组
2023年8月10日
百科VIP
未登录
无广告阅读
免验证复制
1年VIP
¥ 9.9
支付方式:
微信支付
支付宝
PayPal
购买数量:
1
应付金额:
9.9
汇率换算:
1.32
美元(USD)
  • 美元(USD)
  • 加元(CAD)
  • 日元(JPY)
  • 英镑(GBP)
  • 欧元(EUR)
  • 澳元(AUD)
  • 新台币(TWD)
  • 港元(HKD)
  • 新加坡(SGD)
  • 菲律宾(PHP)
  • 泰铢(THB)

按当月汇率换算,

包含手续费

打开手机微信 扫一扫继续付款
立即开通
PayPal支付后,可能会遇到VIP权益未及时开通的情况,请您耐心等待,或者联系百科微信客服:mbalib888。
温馨提示:当无法进去支付页面时,可刷新后重试或更换浏览器
开通百科会员即视为同意《MBA智库·百科会员服务规则》

支付成功

全球专业中文经管百科,由121,994位网友共同编写而成,共计436,064个条目

時間邏輯

用手机看条目

出自 MBA智库百科(https://wiki.mbalib.com/)

目錄

[隱藏]

什麼是時間邏輯

  在邏輯中,術語時間邏輯被用來描述為表現和推理關於時間限定的命題的規則和符號化的任何系統。它有時也被稱為時態邏輯,這是 Arthur Prior 在1960年代介入的基於模態邏輯的特殊的時間邏輯系統。它後來被電腦科學家特別是 Amir Pnueli 和邏輯學家進一步的開發。中國著名電腦科學家唐稚松在這一領域亦有較深入的研究,並寫有專著《時序邏輯程式設計與軟體工程》。

  時間邏輯首先被亞里士多德深入研究過,他的著作中有粗糙形式的一階時間模態二值邏輯。使用存在量詞或全稱量詞的任何邏輯都叫做一階邏輯。把時間看作狀態的序列的任何邏輯都是時間邏輯,只使用兩個真值的任何邏輯都是二值邏輯。

  考慮陳述:"我餓了"。儘管它的意思隨時間恆定,但這個陳述的真值隨時間可變。有時這個陳述為真,有時這個陳述為假,但是這個陳述不能同時為真並且為假。在時間邏輯中,陳述可以有隨時間變化的真值。與之相對的是非時間邏輯,它只能處理有著隨時間恆定的真值的陳述。

  三個基本時間運算元是:總是、有時、和永不。

  計算樹邏輯(CTL)、線性時間邏輯(LTL)和間隔時間邏輯(ITL)是時間邏輯的例子。

相關條目

本條目對我有幫助5
MBA智库APP

扫一扫,下载MBA智库APP

分享到:
  如果您認為本條目還有待完善,需要補充新內容或修改錯誤內容,請編輯條目投訴舉報

本条目由以下用户参与贡献

苏青荇.

評論(共0條)

提示:評論內容為網友針對條目"時間邏輯"展開的討論,與本站觀點立場無關。

發表評論請文明上網,理性發言並遵守有關規定。

打开APP

以上内容根据网友推荐自动排序生成

官方社群
下载APP
告MBA智库百科用户的一封信
亲爱的MBA智库百科用户: 过去的17年,百科频道一直以免费公益的形式为大家提供知识服务,这是我们团队的荣幸和骄傲。 然而,在目前越来越严峻的经营挑战下,单纯依靠不断增加广告位来维持网站运营支出,必然会越来越影响您的使用体验,这也与我们的初衷背道而驰。 因此,经过审慎地考虑,我们决定推出VIP会员收费制度,以便为您提供更好的服务和更优质的内容。 MBA智库百科VIP会员(9.9元 / 年,点击开通),您的权益将包括: 1、无广告阅读; 2、免验证复制。 当然,更重要的是长期以来您对百科频道的支持。诚邀您加入MBA智库百科VIP会员,共渡难关,共同见证彼此的成长和进步!
MBA智库百科项目组
2023年8月10日

闽公网安备 35020302032707号

添加收藏

    新建收藏夹

    编辑收藏夹

    20