青年中文formalize logic的意思
formalize logic中文翻譯：
形式化邏輯
相似詞語短語
formal logic───形式邏輯
formalistic───adj.形式主義的，呆板的
formalizable───形式化的
formalization───n.形式化；禮儀化
formalizations───n.形式化；禮儀化
formalize───vt.使形式化；使正式；拘泥禮儀；vi.拘泥于形式
formalized───adj.形式化的；正式的；v.使正式；使有效（formalize的過去分詞）；使定形；拘泥于形式
formalizer───形式化者
formalizes───vt.使形式化；使正式；拘泥禮儀；vi.拘泥于形式
雙語使用場景
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邏輯模型。