Thesaurus UB (THUB)

Recursos sobre aquest tema

Desar com

Decidibilitat (Lògica matemàtica)

Termes genèrics
Lògica matemàtica
Termes relacionats
Funcions computables
Funcions recursives
Teorema de Gödel
Notes de font
LEMAC, consulta feta el 31 de març, 2020 (punt d'accés: Decidibilitat (Lògica matemàtica))
Wikipedia (castellà), consulta feta el 31 de març, 2020 (punt d'accés: Decidibilidad)
LCSH, consulta feta el 31 de març, 2020 (punt d'accés: Decidability (Mathematical logic))
RAMEAU, consulta feta el 31 de març, 2020 (punt d'accés: Décidabilité (logique mathématique))
Tesaurus
Matèries
Microtesaurus
Matemàtica
Conceptes equivalents en altres esquemes
Décidabilité (logique mathématique) [RAMEAU]
Decidability (Mathematical logic) [LCSH]
Decidibilitat (Lògica matemàtica) [LEMAC]
Enllaç permanent
Format MARC21
  • LEADER 01281nz a2200289n 4500 001 981058505271106706 005 20210908082536.0 008 200331|||anznnbabn |a ana d 040 $aES-BaUB$bcat$cES-BaUB$fthub 072 7$aTH 51$2thub 150 $aDecidibilitat (Lògica matemàtica) 550 $wg$aLògica matemàtica 550 $aFuncions computables 550 $aFuncions recursives 550 $aTeorema de Gödel 670 $aLEMAC, consulta feta el 31 de març, 2020$b(punt d'accés: Decidibilitat (Lògica matemàtica)) 670 $aWikipedia (castellà), consulta feta el 31 de març, 2020$b(punt d'accés: Decidibilidad) 670 $aLCSH, consulta feta el 31 de març, 2020$b(punt d'accés: Decidability (Mathematical logic)) 670 $aRAMEAU, consulta feta el 31 de març, 2020$b(punt d'accés: Décidabilité (logique mathématique)) 675 $aAutoridades BNE;$aAutoridades CSIC, cerca feta el 31 de març, 2020 750 7$aDecidibilidad (Lògica matemàtica)$2thub//spa 750 7$aDecidability (Mathematical logic)$2thub//eng 750 7$aDécidabilité (logique mathématique)$2thub//fre 996 $a.a14016400$b31-03-20$c31-03-20$d-$ed$f- 909 $a11$5ES-BaUB 990 $aTHUB Tema$5ES-BaUB 035 $a(ES-BaUB).a14016400
Terme preferent en altres llengües
EspañolDecidibilidad (Lògica matemàtica)
EnglishDecidability (Mathematical logic)
FrançaisDécidabilité (logique mathématique)
+
Data última actualització
17/11/2024