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:

Primeira Prova:
- Data: 19/09.
- Assunto: Até seção 2.6, inclusive.
- Valor: 33 pontos.
- Veja a lista preparatória. Será discutida no dia 17/9.
- Veja a solução da prova.
- Atenção: trabalho de recuperação. Data de entrega: 5/11.
Segunda Prova:
- Data: 22/10.
- Assunto: capítulo 3.
- Valor: 33 pontos (ou 20; veja a lista preparatória).
- Veja a lista preparatória a ser entregue até o dia 22/10.
- Veja a solução da prova.
Terceira Prova:
- Data: 26/11.
- Assunto: Até capítulo 5, inclusive.
- Veja a lista preparatória a ser entregue até o dia 26/11 às 9:25h.
- Valor: 34 pontos (ou 20; veja a lista preparatória).
- Veja a solução da prova.
Prova Suplementar:
- Data: 03/12.
- Assunto: Toda a matéria.
- Valor: 34 pontos.
- Importante: a nota substituirá a menor das 3 notas anteriores (considerando lista + prova).
- Veja a solução da prova.

Veja as notas da prova suplementar.