Notice RAMEAU

Notice

Calcul des prédicats

Vedette matière nom commun. S'emploie en tête de vedette.

<Employé pour :
Calcul des relations
Calcul fonctionnel
Théorie de la quantification
Fonctions, Logique des
Fonctions propositionnelles
Logique des fonctions
Logique des prédicats
Prédicat (mathématiques)
Prédicats, Calcul des
Quantification, Théorie de la
Relations, Calcul des

<<Terme(s) générique(s) :
Logique mathématique

>><<Terme(s) associé(s) :
Prédicat (logique)

>>Terme(s) spécifique(s) :
Logique du premier ordre
Quantificateurs (logique mathématique)

Source(s) :
Grand dict. encyclopédique Larousse . - Trésor de la langue française . - Encycl. universalis : http://www.universalis-edu.com (2011-08-11)
Dict. des mathématiques / A. Bouvier, M. George, F. Le Lionnais, 1993 . - Langenscheidts Fachwörtberbuch Mathematik / G. Eisenreich, R. Sube, 1996 . - Introduction à la logique standard : calcul des propositions, des prédicats et des relations / D. Vernant, 2001

Domaine(s) : 510

Correspondance(s) :
- LCSH (Library of Congress Subject Headings) : Predicate calculus http://id.loc.gov/authorities/subjects/sh85106251

Correspondance(s) exacte(s) :
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec)) : Calcul des prédicats

Identifiant de la notice : ark:/12148/cb11931096k

Notice n° : FRBNF11931096

Création : 81/02/11

Mise à jour : 11/08/11