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 : 027662799Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/027662799/idCopier cet URI
Notice de type Rameau

Point d'accès autorisé

Logique mathématique

Variantes de point d'accès

Logique formelle
[Nom commun]
Logique moderne symbolique
[Nom commun]
Logique symbolique et mathématique
[Nom commun]
Logistique (logique)
[Nom commun]

Informations

Note générale sur le champ d'application : 
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


Terme générique

  Mathématiques


Termes spécifiques

  Mathématiques à rebours
  Théorie des ensembles
  Décidabilité (logique mathématique)
  Ensembles, Théorie axiomatique des
  Fonctions récursives
  Formalisme (mathématiques)
  Théorème de Gödel
  Lambda-calcul
  Logiciels, Exactitude
  Logicisme
  Logique algébrique
  Logique de seuil
  Arithmétique faible
  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
  Théorie des automates mathématiques
  Modèles non-standards (mathématiques)
  Pi-calcul
  Programmation logique
  Théorie de la récursivité
  Relations d'ordre total
  Théorie de la démonstration
  Théorie des types
  Algèbre de Boole
  Calcul des prédicats
  Calcul des propositions
  Catégories (mathématiques)
  Théorie de la commutation
  Théorème de complétude


Notices d'autorité liées

Autre   Algèbre abstraite (Voir aussi)
Autre   Logique (Voir aussi)
Autre   Mathématiques, Fondements (Voir aussi)

Source

Dict. de logique / A. Bannour, 1995
Encycl. Universalis, 1989
Lexique logique / L. Vax, 1982
Logique mathématique / R. Cori, D. Lascar, 1993

Identifiants externes

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

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 : Logic, Symbolic and mathematical
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 : 027662799
RCR créateur de la notice : 0004
Date de création : 17-12-1984
RCR dernier modificateur de la notice : 1999
Date de dernière modification : 13-06-2023 à 05 h 55

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