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

　

单词 formal proof
释义
formal proof
  • 简明释义
  • [数] 形式证法
  • [数] 形式证明
  • 网络释义
  • 1

    [数]?形式证明

    基于“形式证明（ formal proof）”的工具在最近几年已经为数学领域的一些重要结果提供了极其正确的证明。

  • 2

    ?形式化的证明

    ... form形式；型 formal proof形式化的证明 format格式；规格 ...

  • 3

    [数]?形式证法

    ... 形式蕴涵 formal implication 形式证法 formal proof 形式证明 formal proof ...

短语
  • 双语例句
  • 1
    See Resources for a formal proof of the algorithm.
    有关这种算法的形式证明请参阅 参考资料。
  • 2
    As of now we have not received any formal proof ', he said.
    到现在我们还没有收到任何正式的官方文件。
  • 3
    Indeed, agencies enjoy considerably wider power to dispense with formal proof than the courts do.
    事实上，行政机关较之法院享有更多更广泛的权力省却正式的举证。
随便看

　

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

　

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/2/15 2:16:06