Palavras
Traduzir de:

decidibilidade

InglêsInglês

decidability(noun)
Exemplos de uso
"The decidability of a problem is crucial for its computational analysis."→ "A decidibilidade de um problema é crucial para sua análise computacional."
"The decidability of a problem is fundamental in computer science."→ "A decidibilidade de um problema é fundamental na ciência da computação."(Ciência da computação teórica e lógica matemática.)↗ Decidibilidade em Ciência da Computação
"Gödel's Incompleteness Theorems raise questions about the decidability of certain formal systems."→ "Os Teoremas da Incompletude de Gödel levantam questões sobre a decidibilidade de certos sistemas formais."(Lógica matemática e fundamentos da matemática.)↗ Teoremas da Incompletude de Gödel

Palavras facilmente confundidas

decisiondiscernmentresolvability

Notas: Termo técnico padrão em inglês.

Sinônimos e antônimos

Sinônimos

solvability·computability

solvability: Refere-se à capacidade de ser resolvido por um algoritmo.computability: Relacionado à possibilidade de cálculo por um procedimento efetivo.

Antônimos

undecidability

Regência e colocações

decidability of a problem

The decidability of the halting problem is a classic result.

A preposição 'of' é usada para indicar a qual problema ou sistema a decidibilidade se refere.

algorithmic decidability

Algorithmic decidability is a central concept.

Adjetivo comum para qualificar o tipo de decidibilidade.

Contexto cultural e nuances

O termo 'decidability' é estritamente técnico, pertencente aos campos da lógica matemática e da ciência da computação teórica. Ele descreve uma propriedade intrínseca de problemas formais: a existência ou não de um algoritmo capaz de determinar, em tempo finito, se uma dada entrada pertence ou não ao conjunto de soluções do problema. A ausência de decidibilidade implica que tais problemas são inerentemente intratáveis computacionalmente.

EspanholEspanhol

decidibilidad(sustantivo)
Exemplos de uso
"La decidibilidad de un problema algorítmico es un concepto clave."→ "A decidibilidade de um problema algorítmico é um conceito chave."(Termo técnico em computação e lógica.)
"La decidibilidad de un problema es fundamental en la ciencia de la computación."→ "A decidibilidade de um problema é fundamental na ciência da computação."(Ciência da computação teórica e lógica matemática.)↗ Decidibilidade em Ciência da Computação
"Los Teoremas de Incompletitud de Gödel plantean interrogantes sobre la decidibilidad de ciertos sistemas formales."→ "Os Teoremas da Incompletude de Gödel levantam questões sobre a decidibilidade de certos sistemas formais."(Lógica matemática e fundamentos da matemática.)↗ Teoremas da Incompletude de Gödel

Palavras facilmente confundidas

decisióndiscernimientodiscrecionalidad

Notas: Termo técnico padrão em espanhol.

Sinônimos e antônimos

Sinônimos

solucionabilidad·computabilidad

solucionabilidad: Refere-se à capacidade de ser resolvido por um algoritmo.computabilidad: Relacionado à possibilidade de cálculo por um procedimento efetivo.

Antônimos

indecidibilidad

Regência e colocações

decidibilidad de un problema

La decidibilidad del problema de la parada es un resultado clásico.

A preposição 'de' é usada para indicar a qual problema ou sistema a decidibilidade se refere.

decidibilidad algorítmica

La decidibilidad algorítmica es un concepto central.

Adjetivo comum para qualificar o tipo de decidibilidade.

Contexto cultural e nuances

O termo 'decidibilidad' é estritamente técnico, pertencente aos campos da lógica matemática e da ciência da computação teórica. Ele descreve uma propriedade intrínseca de problemas formais: a existência ou não de um algoritmo capaz de determinar, em tempo finito, se uma dada entrada pertence ou não ao conjunto de soluções do problema. A ausência de decidibilidade implica que tais problemas são inerentemente intratáveis computacionalmente.

decidibilidade

EN: decidability · ES: decidibilidad

PalavrasConectando idiomas e culturas

Referências

PT-BRES
↗ Decidibilidade - Wikipédia
PT-BRENES
↗ Decidability - MathWorld
EN
↗ Decidability - Wikipedia