Teoria de Linguagens
Segundo semestre/2013


  • Livro texto: Introdução aos Fundamentos da Computação, Pioneira Thomson Learning, 2006.
    Veja uma errata
    Veja soluções dos exercícios do capítulo 1 (em um formato provisório).
    Cópias dos slides:
  • Veja o Plano de Curso.
  • As seguintes páginas podem auxiliar no aprendizado de certos conceitos:
  • Veja um texto bom e conciso sobre demonstrações de teoremas. Ele foi baixado de http://www.math.dartmouth.edu/archive/m38s04/public_html/. Observe, particularmente, os itens 4 e 7 da seção 3!
  • Veja uma demonstração poética da indecidibilidade do problema da parada.
  • Provas:
  • Veja as notas da prova suplementar.