Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00036829n
Noun Concept
Categories: Logique mathématique, Logique, Théorie des opérateurs
FR
calcul des prédicats  calcul fonctionnel  logique des prédicats  logique du premier ordre  calcul des relations
FR
En mathématiques, un calcul fonctionnel est une théorie permettant d'étendre à des opérateurs une fonction définie initialement uniquement pour des variables réelles ou complexes. Wikipedia
English:
philosophy
Definitions
Relations
Sources
FR
En mathématiques, un calcul fonctionnel est une théorie permettant d'étendre à des opérateurs une fonction définie initialement uniquement pour des variables réelles ou complexes. Wikipedia
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle[réf. Wikipedia
IS A
logique mathématique
théorie mathématique
calcul des prédicats
système logique
HAS PART
calcul des prédicats
logique d'ordre supérieur
EN
institutional model theory
DE
Matrix
quantification
PART OF
logique mathématique
calcul des prédicats
logique
HAS KIND
calcul des prédicats
EN
zeroth-order logic
logique d'ordre supérieur
problème de la décision
DESCRIBED BY SOURCE
Encyclopédie soviétique arménienne
DIFFERENT FROM
calcul des prédicats
STUDIED BY
logique mathématique
USES
Quantification
French (WOLF) Open Multilingual WordNet
FR
calcul des prédicats
Wikipedia
FR
calcul des prédicats, calcul fonctionnel
Wikidata
FR
calcul fonctionnel, logique des prédicats, logique du premier ordre
Wiktionary
FR
calcul des prédicats, logique des prédicats
Wikipedia Redirections
FR
Calcul des predicats, calcul des prédicats du premier ordre, calcul des relations, Expression polie, L1O, logique des prédicats, logique du premier ordre
Wikidata Alias
FR
calcul des prédicats, calcul des prédicats du premier ordre, calcul des relations, L1O
WordNet Translations
FR
calcul des prédicats, calcul fonctionnel
Wikipedia Translations
FR
calcul des prédicats, calcul fonctionnel, logique des prédicats

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License