TEORIA DA COMPUTAÇÃO

EMENTA:

1. Programas, máquinas, computação e funções computadas.

2. Equivalência entre máquinas e programas.

3. Modelos de computação baseados em máquinas e em funções recursivas.

4. Máquinas de Turing universais. Tese de Church-Turing.

5. Decibilidade. Redutibilidade.

6. Complexidade. Principais classes de complexidade no tempo.

DOWNLOADS:

Livro  Trabalho  TeoriaSim  Artigo de Alan Turing  Aula 01  Aula 02, 03 e 04