... 符号量值运算 signed magnitude arithmetic 符号逻辑模型 model of symbolic logic 符号描述 denotational description ...
双语例句
1
Mathematical logic is an extension ofsymboliclogic into other areas, in particular to the study ofmodel theory, proof theory, set theory, and recursion theory.
数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
2
In the paper, we study these problems memtioned above by symboliclogic, and propose a formal modelof RBAC.