| Wikipédia em português - A enciclop... |
Método Efetivo
Em lógica e matemática - especialmente metalógica e teoria da computabilidade - método efetivo ( também chamado de procedimento efetivo) é o procedimento para uma classe de problemas é um método para o qual cada passo pode ser descrito como uma operação mecânica, e que, se seguidas rigorosamente resulta em:
- sempre dar alguma resposta , em vez de nunca dar nenhuma resposta ;
- sempre dar a resposta certa e nunca dar uma resposta errada ;
- sempre efetuada num número finito de passos, em vez de um número infinito ;
- trabalhar para todas as instâncias de problemas da classe .
Um método efetivo para o cálculo dos valores de uma função é um algoritmo ; funções com um método efetivo , por vezes são chamadas efetivamente calculáveis .
| Veja mais na Wikipédia.org... |
Método efetivo
Na Lógica e Matemática – especialmente Metalógica e Teoria da computabilidade – um método efetivo (também chamado de procedimento efetivo) é um procedimento que seleciona uma classe de problemas e a fraciona a solução em uma sequência de passos, os quais:
- De preferência, sempre retornam alguma resposta a não dar resposta alguma;
- Sempre dão a resposta certa e nunca dão a resposta errada;
- Preferencialmente, são sempre completados em um número finito de passos ao invés de em um número infinito;
- Funciona para todas as instâncias de problemas da classe.
Um método efetivo para calcular os valores de uma função em um Algoritmo; Funções com um método efetivo são geralmente chamadas de efetivamente calculáveis.
| Veja mais na Wikipédia.org... |
© Esse artigo usa material da Wikipédia® sob a licença Licença GNU de Documentação Livre e sob nos termos da licença Creative Commons Attribution-ShareAlike
