Teoria de Linguagens
Segundo semestre/2014
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.
Listas de exercícios:
- Primeira Lista:
- Data de entrega: 11/9. Adiada para até do dia 12/9 às 16h.
- Enunciado em PDF.
- Enunciado em Latex (para quem pretende editar a solução).
- Correção: deverão ser feitos apenas os 25 primeiros exercícios.
- Aula para resolução das últimas dúvidas: 12/9 às 14h, sala 2028.
- Segunda Lista:
- Terceira Lista:
Provas:
- Primeira Prova:
- Data: 16/09.
- Assunto: Seções 1.10, 1.11, 1.12 e Capítulo 2 até 2.6. Correção: até 2.4.
- Valor: 24 pontos.
- Veja a solução da prova.
- Segunda Prova:
- Data: 23/10. Adiada para 28/10.
- Assunto: seções 2.6, 2.7 e 2.8 e capítulo 3.
- Valor: 23 pontos.
- Veja a solução da prova.
- Terceira Prova:
- Data: 27/11. Adiada para 2/12; entrega da lista também.
- Assunto: Até capítulo 5, inclusive.
- Valor: 23 pontos.
- Veja a solução da prova.
- Prova Suplementar:
- Data: 04/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.