Listas de exerc�cios

1. Lista 1 [ps] [pdf]: m�quinas de Turing.
2. Lista 2 [ps] [pdf]: m�quinas de Turing n�o-determin�sticas.
3. Lista 3 [ps] [pdf]: indecidibilidade, linguagens recursivas e recursivamente enumer�veis.
4. Lista 4 [ps] [pdf]: as classes P e NP, redu��es, fechamento, completude.
5. Lista 5: redu��es, problemas NP-completos e suas variantes.
6. Lista 6: coNP, PRIMES, algoritmos probabil�sticos e cripto.