prédicats dans le dictionnaire Oxford-Hachette

prédicats dans le dictionnaire PONS

Traductions de prédicats dans le dictionnaire anglais»français

Autres traductions et expressions typiques avec les termes de votre recherche
predicate
prédicat m
anglais d'Amérique

Exemples monolingues (non-vérifiés par l'équipe de rédaction)

français
De même qu'une prédication en logique formelle est formée d'un prédicat et d'arguments, les bridi (prédicats en lojban) sont formés d'un selbri (entremetteur) qui met en relation des sumti (arguments).
fr.wikipedia.org
La manière dont le lojban considère et articule ses concepts pleins (les brivla) est directement décalquée du formalisme mathématique du calcul des prédicats.
fr.wikipedia.org
Son adjonction à la théorie préserve certaines bonnes propriétés comme le théorème de complétude du calcul des prédicats classique.
fr.wikipedia.org
Les autres prédicats et titres n'ont pas d'existence juridique et sont considérés comme des titres de courtoisie.
fr.wikipedia.org
Le cheval est le dénominateur commun à tous les prédicats mondains qu’il met en avant dans les annuaires : turfiste, sportsman, clubman.
fr.wikipedia.org
Ce dernier vérifie la satisfiabilité des conjonctions de prédicats de la théorie.
fr.wikipedia.org
On pourrait toutefois choisir un nombre plus restreint d'opérateurs ou de prédicats.
fr.wikipedia.org
Commençons par montrer comment remplacer un système d’axiomes du calcul des prédicats par un système équivalent d’axiomes du calcul des propositions.
fr.wikipedia.org
Le calcul des prédicats égalitaire pour un langage comportant au moins un symbole de prédicat binaire est indécidable (algorithmiquement).
fr.wikipedia.org
La classe des prédicats élémentaire est stable par quantification bornée.
fr.wikipedia.org

Voulez-vous ajouter des mots, des phrases ou des traductions ?

Proposez de créer une nouvelle entrée pour un mot.

Parcourir le dictionnaire

français

Page en Deutsch | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski
Parcourir les dictionnaires
Les plus populaires