Thesaurus UB (THUB)

Ressources sur ce thème

Télécharger comme

Décidabilité (logique mathématique)

Termes génériques
Logique mathématique
Termes connexes
Fonctions calculables
Fonctions récursives
Théorème de Gödel
Notes de source
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
Mathématiques
Concepts équivalents dans d'autres schémas
Décidabilité (logique mathématique) [RAMEAU]
Decidability (Mathematical logic) [LCSH]
Decidibilitat (Lògica matemàtica) [LEMAC]
Permalien
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 préférentiel dans d'autres langues
CatalàDecidibilitat (Lògica matemàtica)
EspañolDecidibilidad (Lògica matemàtica)
EnglishDecidability (Mathematical logic)
+
Date de dernière mise à jour
15/12/2024