computabilidade
Inglês
Palavras facilmente confundidas
computationcomputercomputableNotas: 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.
Espanhol
Palavras facilmente confundidas
computacióncomputadorcomputableNotas: 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.
EN: computability · ES: computabilidad