Lógica matemática
- Términos genéricos
- Matemáticas
- Términos específicos
- Autómatas matemáticos
- Azar
- Cálculo de predicados
- Cálculo lambda
- Categorías (Matemáticas)
- Decidibilidad (Lògica matemàtica)
- Funciones recursivas
- Independencia (Matemáticas)
- Lógica algebraica
- Lógica combinatoria
- Lógica de primer orden
- Lógica difusa
- Lógica informática
- Matemáticas constructivas
- Metodología de la ciencia
- Números cardinales
- Pragmática lingüística
- Probabilidades
- Semántica (Filosofía)
- Teorema de Gödel
- Teoría axiomática de conjuntos
- Teoría de la conmutación
- Teoría de la prueba
- Teoría de la recursividad
- Teoría de modelos
- Teoría de tipos
- Términos relacionados
- Álgebra abstracta
- Metamatemáticas
- Programación lógica
- Silogismo
- Teoría de conjuntos
- Notas de fuente
- 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)
- Tesauro
- Materias
- Microtesauro
- Matemáticas
- Conceptos equivalentes en otros esquemas
- Logic, Symbolic and mathematical [LCSH]
- Lógica matemática [BNE/A]
- Lògica matemàtica [LEMAC]
- Logique symbolique et mathématique [RAMEAU]
- Enlace permanente
- https://vocabularis.crai.ub.edu/thub/concept/thub:981058505624806706
- Formato 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-
- Término preferente en otras lenguas
- CatalàLògica matemàtica
- EnglishMathematical logic
- FrançaisLogique mathématique
- Fecha de última actualización
- 17/11/2024