- Notice
Calcul des propositions
Vedette matière nom commun. S'emploie en tête de vedette.
<Employé pour :
Calcul propositionnel Ancienne forme retenue
Logique des propositions
Logique propositionnelle
Logistique (mathématiques)
MSC 03B05
Proposition (mathématiques)
Propositions, Calcul des
Calcul propositionnel Ancienne forme retenue
Logique des propositions
Logique propositionnelle
Logistique (mathématiques)
MSC 03B05
Proposition (mathématiques)
Propositions, Calcul des
Source(s) :
Grand dict. encyclopédique Larousse . - Trésor de la langue française . - Encycl. universalis (art. : Logique mathématique) : http://www.universalis-edu.com (2011-08-11)
Dict. des mathématiques / A. Bouvier, M. George, F. Le Lionnais, 1979 . - 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
Grand dict. encyclopédique Larousse . - Trésor de la langue française . - Encycl. universalis (art. : Logique mathématique) : http://www.universalis-edu.com (2011-08-11)
Dict. des mathématiques / A. Bouvier, M. George, F. Le Lionnais, 1979 . - 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) : Propositional calculus http://id.loc.gov/authorities/subjects/sh85107553
- LCSH (Library of Congress Subject Headings) : Propositional calculus http://id.loc.gov/authorities/subjects/sh85107553
Identifiant de la notice : ark:/12148/cb11957018n
Notice n° :
FRBNF11957018
Création :
83/08/04
Mise à jour :
11/08/11
