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
应用推荐
$firstVoiceSent
- 来自原声例句