Lògica matemàtica
- Termes no preferents
- Lògica formal
- Lògica simbòlica
- Lògica simbòlica i matemàtica
- Lògica universal
- Logística (Filosofia)
- Termes genèrics
- Matemàtica
- Termes específics
- Atzar
- Càlcul de predicats
- Càlcul lambda
- Categories (Matemàtica)
- Decidibilitat (Lògica matemàtica)
- Funcions recursives
- Independència (Matemàtica)
- Lògica algebraica
- Lògica combinatòria
- Lògica de primer ordre
- Lògica difusa
- Lògica informàtica
- Matemàtica constructiva
- Metodologia de la ciència
- Nombres cardinals
- Pragmàtica (Lingüística)
- Probabilitats
- Semàntica (Filosofia)
- Teorema de Gödel
- Teoria axiomàtica de conjunts
- Teoria de la commutació
- Teoria de la prova
- Teoria de la recursió
- Teoria de màquines
- Teoria de models
- Teoria de tipus
- Termes relacionats
- Àlgebra abstracta
- Metamatemàtica
- Programació lògica
- Sil·logisme
- Teoria de conjunts
- Notes de font
- 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
- Matemàtica
- Conceptes equivalents en altres esquemes
- Logic, Symbolic and mathematical [LCSH]
- Lógica matemática [BNE/A]
- Lògica matemàtica [LEMAC]
- Logique symbolique et mathématique [RAMEAU]
- Enllaç permanent
- 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 preferent en altres llengües
- EspañolLógica matemática
- EnglishMathematical logic
- FrançaisLogique mathématique
- Data última actualització
- 13/10/2024