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