累计查询 0.00 亿次

mathematical logic

  • 数理逻辑：一种研究数学和逻辑之间关系的学科，主要关注形式系统、证明理论、模型论和递归论等领域。

双语例句

  1. Mathematical logic can produce some great trivia.
    数学逻辑能够推理一些极其细微的现象。
  2. In mathematical logic in the study is the main target of all kinds of calculus.
    在数理逻辑中研究的主要对象是各种演算。
  3. I learn the formulas that have been proved by mathematical logic and empirical evidence.
    我学到的是已经被数学推理和实际经验所证明的公式。

网络短语

  • modern mathematical logic
    现代数理逻辑
  • Fundations of Mathematical Logic
    数理逻辑基础
  • Mathematical Logic Quarterly
    数理逻辑学报
  • Archive for Mathematical Logic
    数理逻辑档案
  • Discrete Mathematics and Mathematical Logic
    离散数学与数理逻辑

同义词

symbolic logic
[数]数理逻辑

英英释义

  • n.any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity