logo_金山词霸_在线_文档_图片_翻译_fanyi_查词数理逻辑是什么意思_数理逻辑用英语怎么说_数理逻辑的翻译_数理逻辑翻译成_数理逻辑的中文意思_数理逻辑怎么读,数理逻辑的读音,数理逻辑的用法,数理逻辑的例句

翻译
  • 数理逻辑

    • [shù lǐ luó ji]

    释义

    • mathematical logic  
      数理逻辑;
    • symbolic logic  
      数理逻辑,逻辑符号;
  • 实用场景例句

    • 全部

    Therefore, the three basic laws are not applicable to orthodox mathematical logic.

    故而, 传统形式逻辑三大基本规律在正统数理逻辑中均不能成立.

    互联网

    Calculus of the mathematical logic of the grammar part.

    演算的研究组成了数理逻辑的语法部分.

    互联网

    Those who are " numbers and logic smart " excel at math and science.

    具有 “ 数理逻辑智能 ” 的人,在数学和自然科学方面表现出有杰出的才能.

    互联网

    This paper works on propositional logic system in Computer Logic.

    本论文研究了计算机数理逻辑中的命题演算部分内容.

    互联网

    Metamathematics is a subject on symbolic logic, which focuses on the mathematics discrepancy.

    元数学是一门数理逻辑方面的学科, 其主要研究对象是数学本身的矛盾性问题.

    互联网

    There are advantages and disadvantage in both induction and deduction, and they are intertwined.

    究其实,争论是由逻辑观-传统形式逻辑和现代数理逻辑的不同引起的.

    互联网

    Law of identity law of non - contradiction and law of excluded middle are the basic laws.

    同一律、不 矛盾律 和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式.

    互联网

    Frege is regarded as the founder of modern logic the herald of analytical philosophy.

    弗雷格被公认为是现代数理逻辑的创始人,分析哲学的先驱.

    互联网

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

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

    互联网

    The author take European call option as the example, dissecting the conventional assumptions in Black - Scholes formulation.

    我们以欧式看涨期权为例, 分析 Black -Scholes定价思路中的数理逻辑的演绎过程.

    互联网

    T . F Gamut : Logic, Language , and Meaning . The University of Chicago Press, 1991.

    李小 五: 数理逻辑 —— 现代逻辑学讲义, 中山大学出版社2005.

    互联网

    收起实用场景例句
  • 行业词典

    • 哲学

      mathematical logic   

    • 数学

      mathematical logic   又称 :数理逻辑(symbolic logic)