Notice Dewey
- Notice
511.3 (23e éd.) = Logique mathématique
Y compris les fonctions logiques (opérateurs logiques), les tables de vérité ; l'axiome
du choix, le théorème de complétude, la décidabilité, les langages formels, le théorème
de Gödel, la théorie des types ; la logique combinatoire, la logique intermédiaire
Classer ici la logique formelle, le calcul propositionnel, le calcul des prédicats ; la logique du premier ordre, la logique évoluée ; les axiomes, les hypothèses ; les ouvrages interdisciplinaires sur la logique
Classer ici la logique formelle, le calcul propositionnel, le calcul des prédicats ; la logique du premier ordre, la logique évoluée ; les axiomes, les hypothèses ; les ouvrages interdisciplinaires sur la logique
Classer la logique formelle, le calcul propositionnel, le calcul des prédicats, la
logique du premier ordre, les fonctions logiques (opérateurs logiques), les tables
de vérité étudiées sous l'angle de la logique philosophique à 160
Pour la logique philosophique, voir 160
Pour la théorie des catégories, voir 512.62
Pour la logique philosophique, voir 160
Pour la théorie des catégories, voir 512.62
Forme(s) rejetée(s) :
< Décidabilité
< Fonctions logiques
< Grammaires formelles
< Logique mathématique (logique symbolique)
< Logique du premier ordre (logique mathématique)
< Logique formelle
< Logique évoluée
< Logique symbolique
< Logique combinatoire
< Logique intermédiaire
< Langages formels
< Tables de vérité (logique mathématique)
< Théorème de complétude
< Théorème de Gödel
< Axiomes du choix
< Axiomes (logique mathématique)
< Hypothèses (logique mathématique)
< Postulats (logique mathématique)
< Opérateurs logiques
< Calcul des prédicats
< Calcul propositionnel
< Théorie des types (mathématique)
< Décidabilité
< Fonctions logiques
< Grammaires formelles
< Logique mathématique (logique symbolique)
< Logique du premier ordre (logique mathématique)
< Logique formelle
< Logique évoluée
< Logique symbolique
< Logique combinatoire
< Logique intermédiaire
< Langages formels
< Tables de vérité (logique mathématique)
< Théorème de complétude
< Théorème de Gödel
< Axiomes du choix
< Axiomes (logique mathématique)
< Hypothèses (logique mathématique)
< Postulats (logique mathématique)
< Opérateurs logiques
< Calcul des prédicats
< Calcul propositionnel
< Théorie des types (mathématique)
Identifiant de la notice : ark:/12148/cb15726777f
Notice n° :
FRBNF15726777
Création :
08/07/10
Mise à jour :
24/07/19