Thesaurus UB (THUB)

Recursos sobre aquest tema

Desar com

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
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