Fundamentos da Teoria da Computação
Primeiro semestre/2001

• Plano de Curso: HTML, PostScript. (Para leitura de PostScript, pegue o software apropriado.)
• Apostila: (não mais disponivel)
  • Capítulo 0: Conceitos Preliminares
  • Capítulo 1: Máquinas de Estado-Finito
  • Capítulo 2: Autômatos com Pilha
  • Capítulo 3: Máquinas de Turing
  • Capítulo 4: Decidibilidade
• A página da profa. Susan H. Rodger contém referências para ferramentas que podem ser utilizadas para o estudo de alguns conceitos.
• Veja uma demonstração poética da indecidibilidade do problema da parada (em PS).
• Listas de exercícios (em PostScript):
  • Primeira Lista. Devolução: 05/09/2001, digo, 21/01/2002.
  • Segunda Lista. Devolução: 20/02/2002.
  • Terceira Lista. Devolução: 20/03/2002.
  • Quarta Lista. Devolução: 17/04/2002.
• Provas:
  • Primeira Prova:
    • Data provável: 10/09, digo 23/01.
    • Assunto: até seção 1.2.
    • Solução do professor.
  • Segunda Prova:
    • Data provável: 01/10, digo, 25/02.
    • Assunto: até capítulo 1.
  • Terceira Prova:
    • Data provável: 29/10, digo, 27/03.
    • Assunto: até capítulo 2.
  • Quarta Prova:
    • Data provável: 21/11, digo, 17/04.
    • Assunto: tudo (até o capítulo sobre Máquinas de Turing).
• Confira suas notas.