paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Explorer data.idref
data.idref
Copier ce élément EAD
Élément EAD
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en JSON
Export JSON
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 027221776Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/027221776/idCopier cet URI
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]
Théorie de la quantification
[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]


Terme générique

  Logique mathématique


Notice d'autorité liée

Autre   Prédicat (logique) (Voir aussi)

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

Identifiants externes

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb11931096k

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 : Calcul des prédicats
Date de consultation du référentiel ou de la classification externe : 2011-08-11
Code du système ou de la classification utilisé : RVMLaval
Terme équivalent dans un autre système : Predicate calculus
Date de consultation du référentiel ou de la classification externe : 2017-02-09
Code du système ou de la classification utilisé : LCSH

Informations sur la notice

Identifiant de la notice : 027221776
RCR créateur de la notice : 0004
Date de création : 11-02-1981
RCR dernier modificateur de la notice : 1999
Date de dernière modification : 13-06-2023 à 05 h 42

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