中英▼
go top

Hilbert system

  • 希尔伯特演绎系统（希尔伯特风格演绎系统是一类形式演绎系统，适用于一阶逻辑，选择了大量逻辑公理模式和少量推理规则。自然演绎系统则相反，包括了很多演绎规则但很少或没有公理模式）

网络释义英英释义

短语

hilbert-style deduction system 希尔伯特风格演绎系统

hilbert axiom system hilbert公理体系

hilbert axiomatic system 希尔伯特公理系统

hilbert space dynamic system 希尔伯特空间动态系统

 更多收起网络短语

Hilbert system

  • abstract: In logic, especially mathematical logic, a Hilbert system, sometimes called Hilbert calculus or Hilbert–Ackermann system, is a type of system of formal deduction attributed to Gottlob FregeMáté & Ruzsa 1997:129 and David Hilbert. These deductive systems are most often studied for first-order logic, but are of interest for other logics as well.

以上来源于: WordNet

双语例句

  • An improved Hilbert vibration decomposition (HVD) method was introduced to the non-integer harmonic analysis in electrical power system.

    针对现有电力系统非整数次谐波分析法的不足，提出了一种改进的希尔伯特振动分解(HVD)方法。

    youdao

  • The basic principle of the system nonlinearity detection based on Hilbert transform and the relative quantitative index of the nonlinearity are introduced.

    通过衡量地铁内乘客舒适度指标“相对热指标”这一概念 ，论述了地铁站内空调温度应该是变化的 ，而不应该是定值。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

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

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