AEDs III 20/04/2011

Capitulo 2 do livro do ziviani
Vamos falar de Paradigmas de resolução de problemas.

CONCEITOS DE PARADIGMAS:
-Computabilidade é aquilo que pode-se ser sabido através de um programa.

-Enumerabilidade é a possibilidade de enumerar todas as possibilidades de saída.

-Espaço de soluções é o número de saídas possíveis de um programa.

Um algortimo é o meio pelo qual voce encontra aquela possibilidade especifica que te interessa, caminhando pelas possíveis soluções do
espaço de soluções.

Os algoritimos eficientes tem como caracteristica explorar uma propriedade do problema para poder resolve-lo.

PARADIGMA:
Indução é o processo de partindo de um ponto verdadeiro e provando que um processo é continuamente verdadeiro a partir do ponto
inicial. Nós assumimos com segurança de que nao importa quantas vezes eu repetir o processo ainda será verdade.
Ou seja é o paradigma da generalização. Se um é verdade é n é verdade a partir de 1, então tudo é verdade.

Esse é o processo que nós diz que um loop funciona. O que é bem legal.

-> Esse processo é possível pois sabemos que o problema é enumeravel.

PARADIGMA:
Recursividade é a existencia da possibilidade de decomposição de um problema.
Ou seja é possível decompor o problema em problemas menores.

-> Repare que essa decomposição exige também a indução. Pois devemos saber que o processo é continuo e verdadeiro.

PARADIGMA:
Tentativa e Erro, ou força bruta. (depende da enumerabilidade e da existencia de um espaço finito de soluções.)