-
41 predicate
∎ to predicate one's arguments/policy on sth fonder ses arguments/sa politique sur qch∎ to predicate a quality of sth attribuer une qualité à qch2 noun['predɪkət] prédicatif►► Mathematics predicate calculus calcul m fonctionnel -
42 lomanmääräytymisvuosi
xxxannée de base pour le calcul des congés payés f
См. также в других словарях:
base — [ baz ] n. f. • XIIe; lat. basis, mot gr. « marche, point d appui » I ♦ A ♦ 1 ♦ Partie inférieure d un corps sur laquelle il porte, il repose. ⇒ appui (point d appui), assiette, assise, 1. dessous, fond, fondement, pied. La base de l édifice… … Encyclopédie Universelle
Calcul D'incertitude — Le calcul d incertitude permet d évaluer correctement les erreurs qui se produisent lors de mesures liées à la vérification d une relation entre différentes grandeurs physiques. Les instruments de mesure n étant pas de précision infinie, les… … Wikipédia en Français
Calcul d'incertitudes — Calcul d incertitude Le calcul d incertitude permet d évaluer correctement les erreurs qui se produisent lors de mesures liées à la vérification d une relation entre différentes grandeurs physiques. Les instruments de mesure n étant pas de… … Wikipédia en Français
CALCUL INFINITÉSIMAL - Calcul à plusieurs variables — Le calcul infinitésimal des fonctions de plusieurs variables a eu un développement plus tardif que celui des fonctions d’un seul argument. Inauguré avec un siècle de retard, il ne parvient à établir solidement ses fondements qu’au début du XXe… … Encyclopédie Universelle
Calcul Des Séquents — En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen[1][2]. Le nom de ce formalisme fait référence à un style particulier de déduction qui manipule … Wikipédia en Français
Calcul de séquences — Calcul des séquents En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen[1][2]. Le nom de ce formalisme fait référence à un style particulier de… … Wikipédia en Français
Calcul des sequents — Calcul des séquents En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen[1][2]. Le nom de ce formalisme fait référence à un style particulier de… … Wikipédia en Français
Calcul des séquents — En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen[1],[2]. Le nom de ce formalisme fait référence à un style particulier de déduction qui… … Wikipédia en Français
Base de remboursement de la sécurité sociale française — La Base de remboursement est depuis le 1er janvier 2006, la base de calcul du montant des remboursements des frais de santé en France par la Sécurité sociale. Avant 2006, on parlait soit de tarif de convention soit de tarif d’autorité … Wikipédia en Français
Base De Gröbner — Une base de Gröbner (ou base standard, ou base de Buchberger) d un idéal I de l anneau de polynômes est un ensemble de générateurs de cet idéal, vérifiant certaines propriétés supplémentaires. Cette notion a été introduite dans les années 1960,… … Wikipédia en Français
Base de Grobner — Base de Gröbner Une base de Gröbner (ou base standard, ou base de Buchberger) d un idéal I de l anneau de polynômes est un ensemble de générateurs de cet idéal, vérifiant certaines propriétés supplémentaires. Cette notion a été introduite dans… … Wikipédia en Français