Calcul des propositions

Calcul des propositions

data.idref

Élément EAD

Identifiant pérenne de la notice : 027554546

URI de l'entité : http://www.idref.fr/027554546/id

Notice de type Rameau

Point d'accès autorisé

Calcul des propositions

Variantes de point d'accès

Calcul propositionnel

[Nom commun]

Logique des propositions

[Nom commun]

Logique propositionnelle

[Nom commun]

Logistique (mathématiques)

[Nom commun]

MSC 03B05

[Nom commun]

Proposition (mathématiques)

[Nom commun]

Propositions, Calcul des

[Nom commun]

Terme générique

Logique mathématique

Terme spécifique

Mu-calcul

Notice d'autorité liée

Autre Proposition (logique) (Voir aussi)

Source

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

Encycl. universalis (art. : Logique mathématique) - 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/cb11957018n

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 : Propositional calculus

Date de consultation du référentiel ou de la classification externe : 2017-02-09

URI : http://id.loc.gov/authorities/subjects/sh85107553

Code du système ou de la classification utilisé : LCSH

Informations sur la notice

Identifiant de la notice : 027554546

RCR créateur de la notice : 0004

Date de création : 04-08-1983

RCR dernier modificateur de la notice : 1999

Date de dernière modification : 13-06-2023 à 05 h 53

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