Computabilidade e Complexidade

1. Funções Recursivas Parciais
2. Máquinas de Turing
3. O Problema da Paragem
4. Classes de Complexidade
5. A NP-completude do Problema SAT (“Satisfiability”)

Vem Conhecer o NEEC!!