基本解釋[計算機(jī)科學(xué)技術(shù)]符號邏輯模型英漢例句雙語例句In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.本文針對這個問題，從數(shù)理邏輯的角度出發(fā)，建立了一個形式化模型。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.數(shù)理邏輯的延伸符號邏輯到其他領(lǐng)域，特別是研究模型理論，證據(jù)理論，集理論，并遞歸理論。blog.sina.com.cnmodel of symbolic logic更多例句專業(yè)釋義計算機(jī)科學(xué)技術(shù)符號邏輯模型