Theorem等數學化的論述

在證實安全性時,常常是先給出定理,後期在證實,證實的過程當中會用到Lemma,Note,Claim,Remark等,下面主要介紹下它們的區別:web Definition:定義,定義安全性模型及其性質安全 Theorem:定理。是文章中重要的數學化的論述,通常有嚴格的數學證實。svg Proposition:能夠翻譯爲命題,通過證實且interesting,但沒有Theorem重要,比較經常使用。
相關文章
相關標籤/搜索