Teoria da Computação

• Carga horária: 60 horas (4 aulas semanais)
• Pré-requisito:
  • Linguagens de Programação
  • Matemática Discreta

Ementa

Algoritmos, conjuntos, indução e cardinalidade. Máquinas de Turing. Funções recursivas. Algoritmos de Markov. A tese de Church-Turing. Indecidibilidade . Problemas intratáveis. Classes de problemas intratáveis

Bibliografia

Bibliography --file grad-teoria-computacao not rendered at Sat May 18 20:42:16 -0300 2013