prédicats en el diccionario francés Oxford-Hachette

prédicats en el diccionario PONS

Traducciones de prédicats en el diccionario inglés»francés

inglés americano

Ejemplos monolingües (no verificados por la redacción de PONS)

francés
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

¿Quieres añadir alguna palabra, frase o traducción?

Proponnos una nueva entrada.

Consultar el diccionario

francés

Página en Deutsch | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski
Consultar los diccionarios
Los más populares