formal deduction 中文意思是什麼
formal deduction
解釋
形式推導-
This paper proposed a problem - solving theory based formal model, introduced the basic syntax and p - calculus based semantics of the model, and presented some pivotal concepts and propositions in the deduction of the model
摘要提出了一種基於問題求解理論的密碼協議模型,給出了模型的基本語法以及基於演算的形式語義,明確了模型推理過程中涉及到的一些關鍵性的概念和命題。
分享友人