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 .
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.