构造演算的法文

• Calcul des constructions

• "构"法文翻译    动 former;constituer;composer;construire~词former
• "构造"法文翻译    名
• "造"法文翻译    动 1.faire;bâtir;créer;construire~汽车construire des
• "演"法文翻译    动 1.développer;évoluer~进évoluer
• "演算"法文翻译    动 calculer;faire un calcul mathématique
• "算"法文翻译    动 、 名 1.calculer;compter;calcul;compte心~calcul
• "演算" 法文翻译 :    动calculer;faire un calcul mathématique
• "构造" 法文翻译 :    名constitution;formation;construction;composition;structure人体~la structure de l'homme
• "Λ演算" 法文翻译 :    Lambda-calcul
• "Π-演算" 法文翻译 :    Pi-calcul
• "演算法" 法文翻译 :    algorithme
• "类演算" 法文翻译 :    calcul des classes
• "函项演算" 法文翻译 :    calcul fonctionnelcalcul fonctionnelle
• "分类演算法" 法文翻译 :    Algorithme de classification
• "命题演算" 法文翻译 :    calcul des propositions
• "排序演算法" 法文翻译 :    algorithme de tri
• "搜寻演算法" 法文翻译 :    Algorithme de recherche
• "无穷小演算" 法文翻译 :    Histoire du calcul infinitésimal
• "洪水演算" 法文翻译 :    calcul de la propagation des cruesétude de la progression des crues
• "相继式演算" 法文翻译 :    Calcul des séquents
• "秀尔演算法" 法文翻译 :    Algorithme de Shor
• "線上演算法" 法文翻译 :    Algorithme online
• "进程演算" 法文翻译 :    Algèbre de processus
• "古构造" 法文翻译 :    paléotectonique
• "小构造" 法文翻译 :    minitectonique

• Les jugements valides pour le calcul des constructions sont dérivables à partir d'un ensemble de règle d'inférences.
  构造演算的有效判断是从推理规则集合可推导的。
• Le calcul des constructions peut être considéré comme une extension de la correspondance de Curry-Howard.
  构造演算可以被当作 Curry-Howard同构的扩展。
• Le calcul des constructions étend cet isomorphisme aux preuves dans le calcul des prédicats intuitionniste dans son ensemble, ce qui inclut par conséquent des preuves de formules quantifiées (que l'on appellera également « propositions »).
  构造演算扩展了这个同构为在完全的直觉谓词逻辑中的证明，这包括了量化陈述（它也叫做"命题"）的证明。

• 构造演算的英语：calculus of constructions
• 构造演算的俄语：Исчисление конструкций