Traduction de «first-order predicate » (Anglais → Français) :

first-order predicate calculus [ first order predicate logic | quantification theory ]
calcul des prédicats du premier ordre [ logique des prédicats du premier ordre ]

first-order predicate language | first-order language
langage des prédicats du premier ordre | LPPO | langage du premier ordre

first-order predicate calculus
calcul des prédicats du premier ordre

first order logic | first-order predicate calculus | first-order predicate logic | predicate calculus | predicate logic | FOPL,FOPC [Abbr.]
calcul de prédicats | calcul des prédicats | logique de 1er ordre | logique des prédicats

first-order relation [ first-order predicate ]
relation du premier ordre [ prédicat du premier ordre ]

first-order logic | first-order predicate logic
logique du premier ordre | LPO | logique des prédicats du premier ordre

first order predicate calculus
calcul des prédicats du premier ordre

second order logic | second-order predicate calculus | second-order predicate logic
logique d'ordre 2 | logique du deuxième ordre

first order decay | first order decay function | first order decay method | FOD method [Abbr.]
fonction de dégradation de premier ordre | méthode de décomposition de premier ordre

first-order triangulation point
point de triangulation de 1er ordre