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
- https://vocabularis.crai.ub.edu/thub/concept/thub:981058505624806706
- 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