Thesaurus UB (THUB)

Ressources sur ce thème

Télécharger comme

Logique mathématique

Termes génériques
Mathématiques
Termes spécifiques
Calcul des prédicats
Catégories (Mathématiques)
Chance
Décidabilité (logique mathématique)
Fonctions récursives
Indépendance (Mathématiques)
Lambda-calcul
Logique algébrique
Logique combinatoire
Logique du premier ordre
Logique floue
Logique informatique
Mathématiques constructives
Méthodologie des sciences
Nombres cardinaux
Pragmatique
Probabilités
Sémantique (philosophie)
Théorème de Gödel
Théorie axiomatique des ensembles
Théorie de la commutation
Théorie de la Preuve
Théorie de la récursivité
Théorie des automates mathématiques
Théorie des modèles
Théorie des types
Termes connexes
Algèbre abstraite
Métamathématique
Programmation logique
Syllogisme
Théorie des ensembles
Notes de source
LEMAC, consulta feta el 22 de febrer, 2006 (punt d'accés: Lògica matemàtica)
Autoridades BNE, consulta feta el 22 de febrer, 2006 (punt d'accés: Lógica matemática)
LCSH, consulta feta el 22 de febrer, 2006 (punt d'accés: Logic, Symbolic and mathematical)
RAMEAU, consulta feta el 22 de febrer, 2006 (punt d'accés: Logique symbolique et mathématique)
Tesaurus
Matèries
Microtesaurus
Mathématiques
Concepts équivalents dans d'autres schémas
Logic, Symbolic and mathematical [LCSH]
Lógica matemática [BNE/A]
Lògica matemàtica [LEMAC]
Logique symbolique et mathématique [RAMEAU]
Permalien
Format MARC21
  • LEADER 02409nz a2200673n 4500 001 981058505624806706 005 20240527075810.0 008 950503|||anznnbabn |a ana d 035 $a(ES-BaUB).a11669585 040 $aES-BaUB$bcat$cES-BaUB$fthub 072 7$aTH 51$2thub 150 $aLògica matemàtica 450 $aLògica formal 450 $aLògica simbòlica 450 $aLògica simbòlica i matemàtica 450 $aLògica universal 450 $aLogística (Filosofia) 550 $wg$aMatemàtica 550 $wh$aAtzar 550 $wh$aCàlcul de predicats 550 $wh$aCàlcul lambda 550 $wh$aCategories (Matemàtica) 550 $wh$aDecidibilitat (Lògica matemàtica) 550 $wh$aFuncions recursives 550 $wh$aIndependència (Matemàtica) 550 $wh$aLògica algebraica 550 $wh$aLògica combinatòria 550 $wh$aLògica de primer ordre 550 $wh$aLògica difusa 550 $wh$aLògica informàtica 550 $wh$aMatemàtica constructiva 550 $wh$aMetodologia de la ciència 550 $wh$aNombres cardinals 550 $wh$aPragmàtica (Lingüística) 550 $wh$aProbabilitats 550 $wh$aSemàntica (Filosofia) 550 $wh$aTeoria axiomàtica de conjunts 550 $wh$aTeorema de Gödel 550 $wh$aTeoria de la commutació 550 $wh$aTeoria de la prova 550 $wh$aTeoria de la recursió 550 $wh$aTeoria de màquines 550 $wh$aTeoria de models 550 $wh$aTeoria de tipus 550 $aÀlgebra abstracta 550 $aMetamatemàtica 550 $aProgramació lògica 550 $aSil·logisme 550 $aTeoria de conjunts 670 $aLEMAC, consulta feta el 22 de febrer, 2006$b(punt d'accés: Lògica matemàtica) 670 $aAutoridades BNE, consulta feta el 22 de febrer, 2006$b(punt d'accés: Lógica matemática) 670 $aLCSH, consulta feta el 22 de febrer, 2006$b(punt d'accés: Logic, Symbolic and mathematical) 670 $aRAMEAU, consulta feta el 22 de febrer, 2006$b(punt d'accés: Logique symbolique et mathématique) 750 7$aLógica matemática$2thub//spa 750 7$aMathematical logic$2thub//eng 750 7$aLogique mathématique$2thub//fre 909 $a11$5ES-BaUB 990 $aTHUB Tema$5ES-BaUB 996 $a.a11669585$b25-11-20$c04-06-08$d-$ed$f-
Terme préférentiel dans d'autres langues
CatalàLògica matemàtica
EspañolLógica matemática
EnglishMathematical logic
+
Date de dernière mise à jour
01/12/2024