相继式演算的法文

发音:

用"相继式演算"造句相继式演算 en Francais

法文翻译手机版

Calcul des séquents

"相"法文翻译副 1.réciproquement;mutuellement~识se connaître.
"相继"法文翻译副 successivement代表们~发言.les délégués prennent
"继"法文翻译动 continuer;succéder;hériter前赴后~avancer par
"式"法文翻译名 1.type;style;modèle新~nouveau modèle;nouveau
"演"法文翻译动 1.développer;évoluer~进évoluer
"演算"法文翻译动 calculer;faire un calcul mathématique
"算"法文翻译动、名 1.calculer;compter;calcul;compte心~calcul
"分散式演算法" 法文翻译 : Algorithmique répartie; Algorithmique répartie
"相继" 法文翻译 : 副successivement代表们~发言.les délégués prennent successivement la parole.
"演算" 法文翻译 : 动calculer;faire un calcul mathématique
"相继的" 法文翻译 : successif,ve
"形式演绎论" 法文翻译 : théorie déductive formalisée
"Λ演算" 法文翻译 : Lambda-calcul
"Π-演算" 法文翻译 : Pi-calcul
"演算法" 法文翻译 : algorithme
"类演算" 法文翻译 : calcul des classes
"地面中继式无線电" 法文翻译 : Terrestrial Trunked Radio
"与会者相继发言" 法文翻译 : tour de table
"函项演算" 法文翻译 : calcul fonctionnelcalcul fonctionnelle
"分类演算法" 法文翻译 : Algorithme de classification
"命题演算" 法文翻译 : calcul des propositions
"排序演算法" 法文翻译 : algorithme de tri
"搜寻演算法" 法文翻译 : Algorithme de recherche
"无穷小演算" 法文翻译 : Histoire du calcul infinitésimal
"构造演算" 法文翻译 : Calcul des constructions

例句与用法

Viennent ensuite ce qu'Henri Van Lier classifie comme accomplissements subséquents.
历史上，相继式是Gerhard Gentzen介入用来规定他著名的相继式演算。
Le théorème d'élimination des coupures stipule que toute déclaration qui possède une preuve dans le calcul des séquents, faisant usage de la règle de coupure, possède aussi une preuve sans coupure, à savoir, une preuve qui ne fait pas usage de la règle de coupure,.
切削定理声称在相继式演算中，拥有利用了切规则的证明的任何判断，也拥有无切证明，就是说，不利用切规则的证明。