computabilidade

InglêsInglês

computability(noun)
Exemplos de uso
"The theory of computability deals with what can be computed."→ "A teoria da computabilidade lida com o que pode ser computado."
"The computability of a problem is a fundamental concept in computer science."→ "A computabilidade de um problema é um conceito fundamental na teoria da computação."(Discussão sobre os limites da computação e a teoria por trás dela.)Teoria da Computação
"The Church-Turing thesis posits that any function that can be considered computable can be computed by a Turing machine, thus defining computability."→ "A tese de Church-Turing postula que qualquer função que pode ser considerada computável pode ser computada por uma máquina de Turing, definindo assim a computabilidade."(Explicação da tese fundamental que define o escopo da computabilidade.)Tese de Church-Turing

Palavras facilmente confundidas

computationcomputercomputable

Notas: Tradução direta e técnica.

Sinônimos e antônimos

Sinônimos

calculability·computability

calculability: Sinônimo direto, enfatiza a capacidade de ser calculado.computability: Termo técnico principal na área.

Antônimos

incomputability

Regência e colocações

the computability of a problem

The computability of a problem is studied in computer science.

O termo é frequentemente usado com a preposição 'of' para especificar a que se refere a computabilidade.

defining computability

The Church-Turing thesis helped in defining computability.

O verbo 'defining' é comum em contextos teóricos.

Contexto cultural e nuances

O termo 'computabilidade' é central na ciência da computação teórica e na lógica matemática. Ele se refere à propriedade de um problema ou função ser solúvel por um procedimento algorítmico. A definição formal de computabilidade é frequentemente associada à tese de Church-Turing, que equipara a noção intuitiva de um procedimento efetivo à computabilidade por uma máquina de Turing ou por funções recursivas. A compreensão da computabilidade é crucial para determinar os limites do que pode ser resolvido por computadores.

EspanholEspanhol

computabilidad(sustantivo femenino)
Exemplos de uso
"La computabilidad es un campo central de la informática teórica."→ "A computabilidade é um campo central da ciência da computação teórica."(Termo padrão em espanhol para o conceito.)
"La computabilidad de un problema es un concepto fundamental en la ciencia de la computación."→ "A computabilidade de um problema é um conceito fundamental na teoria da computação."(Discussão sobre os limites da computação e a teoria por trás dela.)Teoria da Computação
"La tesis de Church-Turing postula que cualquier función que pueda considerarse computable puede ser computada por una máquina de Turing, definiendo así la computabilidad."→ "A tese de Church-Turing postula que qualquer função que pode ser considerada computável pode ser computada por uma máquina de Turing, definindo assim a computabilidade."(Explicação da tese fundamental que define o escopo da computabilidade.)Tese de Church-Turing

Palavras facilmente confundidas

computacióncomputadorcomputable

Notas: Tradução direta e técnica.

Sinônimos e antônimos

Sinônimos

calculabilidad·computabilidad

calculabilidad: Sinônimo direto, enfatiza a capacidade de ser calculado.computabilidad: Termo técnico principal na área.

Antônimos

incomputabilidad

Regência e colocações

la computabilidad de un problema

La computabilidad de un problema se estudia en la ciencia de la computación.

O termo é frequentemente usado com a preposição 'of' para especificar a que se refere a computabilidade.

definir la computabilidad

La tesis de Church-Turing ayudó a definir la computabilidad.

O verbo 'defining' é comum em contextos teóricos.

Contexto cultural e nuances

O termo 'computabilidade' é central na ciência da computação teórica e na lógica matemática. Ele se refere à propriedade de um problema ou função ser solúvel por um procedimento algorítmico. A definição formal de computabilidade é frequentemente associada à tese de Church-Turing, que equipara a noção intuitiva de um procedimento efetivo à computabilidade por uma máquina de Turing ou por funções recursivas. A compreensão da computabilidade é crucial para determinar os limites do que pode ser resolvido por computadores.

computabilidade

EN: computability · ES: computabilidad

PalavrasConectando idiomas e culturas