o que falar importante

- 1 slide
- Onde Computabilidade est inserida dentro disso tudo? (teoria da computao)
ela estuda a solucionabilidade dos problemas.
- O que solucionabilidade? Verifica se existe determinado algoritmo que
resol-
va determinada classe de problemas.
- Algoritmo uma sequncia de instrues finita, bem definida e no ambgua.
- Importncia da Computabilidade? Tem como objetivo evitar a pesquisa de s
olues
inexistentes.
- Exemplificando, problemas propostos por Hilbert. (dcimo problema a resp
eito de
solucionar um polinmio atraves de um algoritmoe verificar se havia uma re
sposta
dentro dos inteiros). Matijasevic provou que era um problema sem soluo.
- Soluo atravs de respostas binrias (problemas de deciso).
Comparar com a possibilidade de utilizar if's como base para tudo.
- Associao Maquina de Turing (Linguagem Recursiva/ Decidveis).
- O estudo da solucionabilidade feito atravez da Reduo.
estudar B atraves de A (como A no solucionvel ento B tambm )
estudar A atravs de B (como B solucionvel ento A tambm )
- Slide 2
- Definio de problemas. P = (D, R, C), onde P seria o problema, D os dado
s,
R os resultados possveis e C como uma condio que satisfaa o problema.
- Dentro da teoria da computao os problemas so divididos em:
-Tratveis: Possiveis com recursos limitados
-Intratveis: Apenas com recursos ilimitados
-Indecidveis: No podem ser solucionados
- Dentro de problemas no-solucionveis:
-Problema da Parada: No existe uma MT que verifica se outra sempr
e pra
-Problema da Palavra vazia: Reduo na Parada, fita em branco parar
-Problema da totalidade: Reduo da totalidade na parada, ao process
o de
entrada.