Decidibilitat (Lògica matemàtica)

Termes genèrics

Lògica matemàtica

Termes relacionats

Funcions computables

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]

Enllaç permanent

https://vocabularis.crai.ub.edu/thub/concept/thub:981058505271106706

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)

+ −