Teoria de Linguagens
Segundo semestre/2015


  • Livro texto: Introdução aos Fundamentos da Computação, Pioneira Thomson Learning, 2006. (errata)
    Complementação da Seção 2.4: Veja soluções dos exercícios do capítulo 1 (em um formato provisório).
    Cópias dos slides:
  • Veja o Plano de Curso.
  • Alguns softwares que podem facilitar a sua vida:
  • 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.
  • Monitoria:
  • Listas de exercícios:
  • Provas:
  • Aqui as notas da prova suplementar.
  • Veja suas notas no MinhaUFMG. Até o dia 7/12, também aqui.