bhk释义的法文

• Interprétation de Brouwer-Heyting-Kolmogorov

• "b"法文翻译    b. brucellae m. 布氏杆菌 b. de la lèpre 麻风杆菌 b.
• "h"法文翻译    音标：['a∫] h aspire 【语言】嘘音h
• "hk"法文翻译    HK (消歧义)
• "k"法文翻译    音标：[ka] n.m. inv. 法语字母表中第11个字母 k eff 有效增殖因子 k
• "释"法文翻译    动 1.expliquer;éclaircir~义expliquer le
• "释义"法文翻译    expliquer le sens;commenter;interpréte
• "义"法文翻译    名 1.justice;vertu;droiture;rectitude深明大~avoir le
• "释义" 法文翻译 :    expliquer le sens;commenter;interpréte
• "释义的" 法文翻译 :    paraphrastique
• "抽象释义" 法文翻译 :    Interprétation abstraite
• "英国法释义" 法文翻译 :    Commentaries on the Laws of England
• "希腊罗马释义" 法文翻译 :    Interpretatio graeca

• L'interprétation BHK dépend de la définition que l'on choisit pour la fonction qui transforme une preuve en une autre preuve, ou un élément d'un domaine en une preuve.
  BHK释义依赖于制定把一个证明变换成另一个证明，或者把一个域的元素变换成一个证明的函数的观点。
• En logique mathématique, l'interprétation de Brouwer-Heyting-Kolmogorov, ou interprétation BHK, de la logique intuitionniste a été proposée par L. E. J. Brouwer, Arend Heyting et indépendamment par Andreï Kolmogorov.
  在数理逻辑中，直觉主义逻辑的布劳威尔-海廷-柯尔莫哥洛夫释义（Brouwer–Heyting–Kolmogorov interpretation）或BHK释义是由鲁伊茲·布劳威尔、阿兰德·海廷和独立的由安德雷·柯尔莫哥洛夫提出的。

• bhk释义的英语：bhk interpretation