- Notice
Logique mathématique
Vedette matière nom commun. S'emploie en tête de vedette.
Sous cette vedette, on trouve les documents sur la logique mathématique (ou logique
formelle). Les documents sur la logique en général et sur la logique classique en
particulier se trouvent sous Logique
<Employé pour :
Logique formelle
Logique moderne symbolique
Logique symbolique et mathématique Ancienne forme retenue
Logistique (logique)
Logique formelle
Logique moderne symbolique
Logique symbolique et mathématique Ancienne forme retenue
Logistique (logique)
>>Terme(s) spécifique(s) :
Mathématiques à rebours
Théorie des ensembles
Arithmétique faible
Automates mathématiques, Théorie des
Boole, Algèbre de
Calcul des prédicats
Calcul des propositions
Catégories (mathématiques)
Commutation, Théorie de la
Complétude, Théorème de
Décidabilité (logique mathématique)
Ensembles, Théorie axiomatique des
Fonctions récursives
Formalisme (mathématiques)
Gödel, Théorème de
Lambda-calcul
Logiciels -- Exactitude
Logicisme
Logique algébrique
Logique de seuil
Logique du premier ordre
Logique informatique
Logique mathématique non classique
Logique matricielle
Logique spatiale
Machines logiques
Mathématiques constructives
Mathématiques intuitionnistes
Métamathématique
Théorie des modèles
Modèles non-standards (mathématiques)
Pi-calcul
Programmation logique
Récursivité, Théorie de la
Relations d'ordre total
Théorie de la démonstration
Théorie des types
Mathématiques à rebours
Théorie des ensembles
Arithmétique faible
Automates mathématiques, Théorie des
Boole, Algèbre de
Calcul des prédicats
Calcul des propositions
Catégories (mathématiques)
Commutation, Théorie de la
Complétude, Théorème de
Décidabilité (logique mathématique)
Ensembles, Théorie axiomatique des
Fonctions récursives
Formalisme (mathématiques)
Gödel, Théorème de
Lambda-calcul
Logiciels -- Exactitude
Logicisme
Logique algébrique
Logique de seuil
Logique du premier ordre
Logique informatique
Logique mathématique non classique
Logique matricielle
Logique spatiale
Machines logiques
Mathématiques constructives
Mathématiques intuitionnistes
Métamathématique
Théorie des modèles
Modèles non-standards (mathématiques)
Pi-calcul
Programmation logique
Récursivité, Théorie de la
Relations d'ordre total
Théorie de la démonstration
Théorie des types
Source(s) :
Logique mathématique / R. Cori, D. Lascar, 1993 . - Lexique logique / L. Vax, 1982 . - Dict. de logique / A. Bannour, 1995 . - Encycl. Universalis, 1989
Logique mathématique / R. Cori, D. Lascar, 1993 . - Lexique logique / L. Vax, 1982 . - Dict. de logique / A. Bannour, 1995 . - Encycl. Universalis, 1989
Domaine(s) : 510
Correspondance(s) :
- LCSH (Library of Congress Subject Headings) : Logic, Symbolic and mathematical http://id.loc.gov/authorities/subjects/sh85078115
- LCSH (Library of Congress Subject Headings) : Logic, Symbolic and mathematical http://id.loc.gov/authorities/subjects/sh85078115
Identifiant de la notice : ark:/12148/cb11965690r
Notice n° :
FRBNF11965690
Création :
84/12/17
Mise à jour :
11/08/09
