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

 

单词 formalized arithmetic
释义
formalized arithmetic
  • 简明释义
  • 形式化算法
  • 网络释义
  • 1

    ?形式化算法

    ... 击球率的新式算法 new rating 形式化算法 formalized arithmetic 修正矩阵乘积算法 revised product matrix algorithm ...

短语
  • 双语例句
  • 1
    G. Frege's Begriffsschrift, a Formalized Language of Pure Thought Modelled upon the Language of Arithmetic is well-known as a foundation stone in modern logic.
    弗雷格的《概念文字:一种模仿算术语言构造的纯思维的形式语言》可谓现代逻辑的开山之作。
随便看

 

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

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/3/26 9:10:58