Decidability (Mathematical logic)

Broader concepts

Mathematical logic

Related concepts

Computable functions

Source notes

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

Thesaurus

Subjects

Microthesaurus

Mathematics

Equivalent concepts in other schemes

Décidabilité (logique mathématique) [RAMEAU]

Permalink

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

Preferred term in other languages

CatalàDecidibilitat (Lògica matemàtica)

EspañolDecidibilidad (Lògica matemàtica)

FrançaisDécidabilité (logique mathématique)

+ −