Fundamentos da Teoria da Computação
Primeiro semestre/2008
- Livro texto: Introdução
aos Fundamentos da Computação, Pioneira Thomson Learning, 2006.
Algumas livrarias com venda on line:
- Plano de Curso (em PDF).
- 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 algumas técnicas
de prova que, na verdade, não provam nada...
- Veja uma demonstração poética da indecidibilidade do
problema da parada (em PostScript).
- Monitoria:
- Monitora: Luciana Fujii Pontello (email: luciana@dcc.ufmg.br)
- Atendimento:
- segunda-feira de 16h às 17h, sala 2027.
- terça-feira de 11:10h às 12:10h, sala 2027.
- Exercícios:
- Provas:
- Primeira prova (turma N;turma W):
- Data: 01/04/2007.
- 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 as soluções das provas da turma N e da turma W.
- Segunda prova (turma N;turma W):
- Data: 24/04/2008.
- Assunto: até Máquinas de Estados Finitos (Capítulo 2, menos 2.2.2 e 2.5).
- Veja as soluções das provas da turma N e da turma W.
- Terceira prova (turma N;turma W):
- Data: 03/06/2007.
- Assunto: até Autômatos de Pilha (capítulo 3).
- Quarta prova(turma N;turma W):
- Data: 26/06/2008..
- Assunto: até Máquinas de Turing (capítulo 4).
- Exame especial (para alunos frequentes a 75% das aulas com conceito E) TURMA W:
- Data: 10/07/2007 às 19h.
- Local: sala 2010.
- Assunto: toda a matéria.
- Exame especial (para alunos frequentes a 75% das aulas com conceito E) TURMA N:
- Data: 11/07/2007 às 10h.
- Local: sala 2006.
- Assunto: toda a matéria.
- Veja suas notas: Turma N; Turma W.