Decidibilidad (Lògica matemàtica)
- Términos genéricos
- Lógica matemática
- Términos relacionados
- Funciones computables
- Funciones recursivas
- Teorema de Gödel
- Notas de fuente
- 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))
- Tesauro
- Materias
- Microtesauro
- Matemáticas
- Conceptos equivalentes en otros esquemas
- Décidabilité (logique mathématique) [RAMEAU]
- Decidability (Mathematical logic) [LCSH]
- Decidibilitat (Lògica matemàtica) [LEMAC]
- Enlace permanente
- https://vocabularis.crai.ub.edu/thub/concept/thub:981058505271106706
- Formato 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
- Término preferente en otras lenguas
- CatalàDecidibilitat (Lògica matemàtica)
- EnglishDecidability (Mathematical logic)
- FrançaisDécidabilité (logique mathématique)
- Fecha de última actualización
- 15/12/2024