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