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

 

单词 proof system
释义
proof system
  • 简明释义
  • 证明系统:一种用于验证数学或逻辑命题正确性的形式化方法,通常包括一组公理和推理规则。
  • 网络释义
  • 1

    [计]?证明系统

    以上是基于逻辑语言中的句法(syntax)和证明系统(proof system)来讲的,但是我们还有另外一个问题:数学系统并不是纯粹句法上的,数学系统本身也是有 语义 (semantics)的。

短语
  • 双语例句
  • 1
    Burden of proof system is an important litigation.
    证明责任制度是重要的诉讼制度。
  • 2
    Introduced here are the engineering requirements in the main cable, the tower frame and the storm-proof system.
    介绍了主索和塔架、风缆系统的设施及工程方面的要求。
  • 3
    The structure, working principle and programming principle of the engine theft-proof system on SHANGHAI GM BUICK SAIL are introduced.
    主要介绍上海通用别克赛欧发动机防盗系统的结构、工作原理和编程原理。
随便看

 

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

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/3/20 20:05:02