登入
# 面向計算機的數理邏輯 一階語言 變元 謂詞邏輯 數理邏輯 限制變元與自由變元
07-22
# 面向計算機的數理邏輯 數理邏輯 謂詞系統 語義解釋 指派 可滿足性
# 面向計算機的數理邏輯 LTL 線性時态邏輯 temporal logic 形式化驗證
04-24
# 面向計算機的數理邏輯 蘊含 演繹 數理邏輯 邏輯推理 計算機
# 面向計算機的數理邏輯 數理邏輯 謂詞邏輯 自然演繹規則 代換 等價
# 面向計算機的數理邏輯 ctl LTL 過去算子 數理邏輯
# 面向計算機的數理邏輯 狀态爆炸 數理邏輯 标記算法 模型檢測 不動點
03-07
![【面向計算機的數理邏輯/軟體理論基礎筆記】形式化驗證、模型檢測、線性時态邏輯LTL形式化驗證模型檢測（Model Checking）線性時态邏輯（Linear-time Temporal Logic，簡寫為LTL）[圖]](data:image/gif;base64,R0lGODlhAQABAIAAAP///wAAACwAAAAAAQABAAACAkQBADs=)
