model of symbolic logic

基本解释

• [計算機科學技術]符號邏輯模型

英汉例句

雙語例句

• In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.
  本文針對這個問題，從數理邏輯的角度出發，建立了一個形式化模型。
• Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.
  數理邏輯的延伸符號邏輯到其他領域，特別是研究模型理論，証據理論，集理論，竝遞歸理論。
  blog.sina.com.cn

• model of symbolic logic更多例句

专业释义

計算機科學技術

• 符號邏輯模型