prédicats nell'Oxford-Hachette French Dictionary

prédicats nel dizionario PONS

Traduzioni di prédicats nel dizionario inglese»francese

Inglese americano

Esempi monolingue (non verificati dalla Redazione di PONS)

francese
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

Vuoi aggiungere una parola, una frase o una traduzione?

Inserisci una nuova voce.

Cerca nel dizionario

francese

Pagina in Deutsch | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski
Cerca nei dizionari
I più amati