请输入您要查询的英文单词：

　

单词 mathematical logic
释义
mathematical logic
  • 简明释义
  • 数理逻辑：一种研究数学和逻辑之间关系的学科，主要关注形式系统、证明理论、模型论和递归论等领域。
  • 网络释义
  • 1

    ?数理逻辑

    PPT/Microsoft Powerpoint - 逻辑(Logics)研究的是有效的推理方法,数理逻辑(Mathematical Logics)就是用数学化..

  • 双语例句
  • 1
    It is well-known that quantum mechanics is a set of rules to construct physical theories, and quantum logics is its mathematical foundation.
    量子力学是一套构造物理学理论的规则，而量子逻辑是量子力学存在的数学基础。
  • 2
    How to make classical mathematical logic more flexible to contain various uncertainties and evolution is a new challenge that logics faces.
    如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
随便看

　

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

　

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/2/13 10:25:14