Fundamentos da Teoria da Computação
Segundo semestre/2003
NOVA SALA DE AULA: As aulas serão dadas na SALA 2030 a partir de 11/11/2003.
- Plano de Curso: PDF, PostScript.
(Para leitura de PostScript, pegue o software apropriado.)
- As seguintes páginas podem auxiliar no aprendizado de certos conceitos:
- Apostila:
PS.
- Transparências das seções 1.1 a 1.9: PDF gzipado;
PS gzipado.
- Veja uma demonstração poética da indecidibilidade do
problema da parada (em PS).
- Exercícios:
- Trabalho extra (formato PS, valor: 3 pontos). Entrega: 13/11/2003.
- Provas:
- Primeira prova:
- Data: 23/10/2003.
- Assunto: até Autômatos Finitos Determinísticos (seções 1.10, 1.11, 1.12, 2.1 e 2.2).
- Segunda prova:
- Data: 25/11/2003.
- Assunto: Máquinas de estado-finito (capítulo 2).
- Terceira prova:
- Data: 18/12/2003.
- Assunto: Autômatos com pilha (capítulo 3).
- Quarta prova:
- Data: 29/01/2004.
- Assunto: Máquinas de Turing (capítulo 4).
- Veja suas notas.