first-order dynamic logic 中文意思是什麼

first-order dynamic logic 解釋
一階動態邏輯
  • first : adj 1 最初的，最早的。2 最上等的，第一流的。3 基本的，概要的。4 高音（調）的。n 1 最初，第一；第...
  • order : n 1 次序，順序；整齊；（社會）秩序，治安；狀況，常態；健康狀態；條理；會場秩序；議事程序，日程；...
  • dynamic : adj 1 動力的，動力學的；力學（上）的；動（態）的；起動的。2 有力的，有生氣的；能動的；（工作）效...
  • logic : n. 1. 邏輯，理論學。2. 推理[方法]；邏輯性，條理性。3. 威力，壓力，強制（力）。
  1. Then a simple e - dealing system is devised to show the thoughts of the protocol. in order to formalize and verify the protocol, bzl logic model is built, which based on first - order logic and introduces many - sorted, dynamic and non - monotony logic

    為了形式化驗證數字現金的安全性，本文在經典一階邏輯的基礎上，吸取了多類邏輯、動態邏輯和非單調邏輯的思想，提出了bzl邏輯模型。
分享友人
分享到 Line

分享到臉書