paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 027221776Copier cet identifiant (PPN)
Notice de type Rameau

Point d'accès autorisé

Calcul des prédicats

Variantes de point d'accès

Calcul des relations
[Nom commun]
Calcul fonctionnel
[Nom commun]
Fonctions, Logique des
[Nom commun]
Fonctions propositionnelles
[Nom commun]
Logique des fonctions
[Nom commun]
Logique des prédicats
[Nom commun]
Prédicat (mathématiques)
[Nom commun]
Prédicats, Calcul des
[Nom commun]
Quantification, Théorie de la
[Nom commun]
Relations, Calcul des
[Nom commun]
Théorie de la quantification
[Nom commun]

Source

Dict. des mathématiques / A. Bouvier, M. George, F. Le Lionnais, 1993

Encycl. universalis - http://www.universalis-edu.com (2011-08-11)

Grand dict. encyclopédique Larousse

Introduction à la logique standard : calcul des propositions, des prédicats et des relations / D. Vernant, 2001

Langenscheidts Fachwörtberbuch Mathematik / G. Eisenreich, R. Sube, 1996

Trésor de la langue française

Autres identifiants

Identifiant BNF : FRBNF119310964

Utilisation dans Rameau

Le point d'accès ne peut être employé que dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

Terme équivalent dans un autre système : Predicate calculusDate de consultation du référentiel ou de la classification externe : 2017-02-09URI : http://id.loc.gov/authorities/subjects/sh85106251Code du système ou de la classification utilisé : LCSH
Terme équivalent dans un autre système : Calcul des prédicatsDate de consultation du référentiel ou de la classification externe : 2011-08-11Code du système ou de la classification utilisé : RVMLaval

... Références liées : ...