Fundamentos da Teoria da Computação
Primeiro semestre/2009
- Livro texto: Introdução
aos Fundamentos da Computação, Pioneira Thomson Learning, 2006.
Veja soluções dos exercícios do capítulo 1 (em um formato provisorio).
Algumas livrarias com venda on line:
- Plano de Curso (em PDF).
- As seguintes páginas podem auxiliar no aprendizado de certos conceitos:
- 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!
- Algumas técnicas
de prova que não devem ser usadas...
- Uma demonstração poética da indecidibilidade do
problema da parada (em PostScript).
- Uma máquina de Turing construída com Lego .
- Monitoria:
- Monitor: Sérgio Mariano Dias.
- E-mail: sergiomariano@gmail.com.
- Exercícios:
- Primeira lista. Entrega: até 31/03/2009. (O enunciado do ex. 4(c) foi alterado hoje, 23/3 às 11:11h.)
Veja slides da solução do monitor.
- Segunda lista. Entrega: até 30/04/2009. Adiada para 07/05/2009.
A lista pode ser entregue até o dia 8/5 às 16h para mim (sala 4023) ou na recepção do DCC (sala 4010).
Veja slides da solução do monitor.
- Terceira lista. Entrega: até 10/06/2009 às 16h para mim
(sala 4023) ou na recepção do DCC (sala 4010).
Atenção: enunciado da questão 2 da lista foi modificado.
Para quem não entregar a lista, a prova valerá 25 pontos em vez de 15.
O monitor se dispõe a resolver dúvidas pelo seu e-mail.
Veja slides da solução do monitor.
- Quarta lista. Entrega: até 2/07/2009 no horário da prova.
- Provas:
- Primeira prova(Turmas F e N,Turma W):
- Data: 31/03/2009.
- Assunto: até Autômatos Finitos Determinísticos
(seções 1.10, 1.11, 1.12, 2.1 e 2.2 (menos 2.2.2)).
- Veja a solução da prova: turmas F e N; turma W.
- Segunda prova(Turmas F e N,Turma W):
- Data: 05/05/2009. Adiada para 12/05/2009.
- Assunto: até Máquinas de Estados Finitos (Capítulo 2, menos 2.2.2 e 2.5).
- Terceira prova(Turmas F e N,Turma W):
- Data: 16/06/2008.
- Assunto: até Autômatos de Pilha (Capítulo 3, menos Exemplos 96, 115 e 117 e
Teoremas 25 e 27).
- Quarta prova(Turmas F e N,Turma W):
- Data: 02/07/2009.
- Assunto: até Máquinas de Turing (Capítulo 4).
- Exame especial para a Turma W (para alunos frequentes a 75% das aulas com conceito E):
- Data: 14/07/2009 às 17h.
- Local: sala 2010.
- Assunto: toda a matéria (capítulos 1, 2, 3 e 4).
- Exame especial para as Turmas F e N (para alunos frequentes a 75% das aulas com conceito E):
- Data: 15/07/2009 às 10h.
- Local: sala 2006.
- Assunto: toda a matéria (capítulos 1, 2, 3 e 4).
- Veja suas notas.