中英▼
go top

数理逻辑 [shù lǐ luó ji]

在例句中比较

网络释义专业释义

短语

数理逻辑 [数] Mathematical Logic ; symbolic logic ; formale Logik ; Mathematische Logik

符号逻辑（数理逻辑） symbolic logic

高级数理逻辑 Advanced Numerical Logic

现代数理逻辑 modern mathematical logic

数理逻辑基础 Fundations of Mathematical Logic ; Elements of Mathematical Logic

数理逻辑智能 Logical-Mathematical Intelligence ; Logical Intelligence

数理逻辑档案 Archive for Mathematical Logic

数理逻辑学报 Mathematical Logic Quarterly

离散数学与数理逻辑 Discrete Mathematics and Mathematical Logic

数理逻辑入门 Elementary Mathematical Logic

 更多收起网络短语
  • mathematical logic - 引用次数：31

    参考来源 - 经典命题演算的能行方法研究
    mathematics logic - 引用次数：3

    But it is not a whole failure. Russell' contribution lies in his study of mathematics logicism promoting the development of mathematics logic.

    但这种失败只是部分失败，其成功之处在于，罗素的数学逻辑主义研究对数理逻辑的发展作出了重要的贡献。

    参考来源 - 罗素的数学逻辑主义思想研究
    logic for mathematicians - 引用次数：1

    参考来源 - 张东荪逻辑文化思想研究
    mathemathic logic - 引用次数：1

    参考来源 - 逻辑学在计算机科学中的应用
  • mathematical logic - 引用次数：1

    参考来源 - RBAC模型的形式化研究
    logistic
  • mathematical logic - 引用次数：1

    参考来源 - 基于数理逻辑的工艺推理与决策逻辑方法研究
  • mathematical logic

·2,447,543篇论文数据，部分数据来源于NoteExpress

新汉英大辞典

数理逻辑 [shù lǐ luó ji]

  • mathematical logic
以上来源于：《新汉英大辞典》

双语例句

  • 方法非经典数理逻辑的语义理论。

    Methods Based on the semantic theory of nonclassical logic.

    youdao

  • 数理逻辑是《离散数学》的难点之一。

    Mathematical logic is one of the difficulties of "Discrete Mathematics".

    youdao

  • 在数理逻辑中研究的主要对象是各种演算。

    In mathematical logic in the study is the main target of all kinds of calculus.

    youdao

更多双语例句

百科

数理逻辑

“数理逻辑”是个多义词，它可以指数理逻辑（用数学方法研究逻辑或形式逻辑的学科）, 数理逻辑（恩德滕著图书）。

详细内容

以上来源于： 百度百科
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定