prédicats w słowniku Oxford-Hachette French Dictionary

prédicats w słowniku PONS

Tłumaczenia dla hasła prédicats w angielski»francuski słowniku

American English

Przykłady jednojęzyczne (niezredagowane i niesprawdzone przez PONS)

francuski
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

Chcesz dodać słowo, frazę lub tłumaczenie?

Wyślij nowe hasło.

Interfejs: Deutsch | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski