Teoria de Linguagens
Segundo semestre/2017


  • Livro texto:
  • 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.
  • Biografia de Alan Turing: The Enigma, de Andrew Hodges.
  • Excelente livro sobre Sistemas Formais: Gödel, Escher, Bach: An Eternal Golden Braid, de Douglas Hofstadter.
  • Listas de exercícios:
  • Provas:
  • Aqui as notas da prova suplementar e ponto extra.
  • Veja sua nota final no MinhaUFMG.