开心英文字典

model of symbolic logic

M 开头单词

基本解释

  • [计算机科学技术]符号逻辑模型

英汉例句

    双语例句

  • 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

专业释义

    计算机科学技术

  • 符号逻辑模型