prédicats no Dicionário de Francês-Inglês da Oxford-Hachette

prédicats no Dicionário PONS

Traduções para prédicats no dicionário inglês»francês

inglês americano

Exemplos unilingues (não verificados pela redação)

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

Desejar acrescentar uma palavra, uma frase ou uma tradução?

Envie-nos uma nova entrada.

Consulte o dicionário

francês

Página em Deutsch | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski
Consulte os dicionários
Os mais populares