Fundamentos da Teoria da Computação
Primeiro semestre/2010
- Livro texto: Introdução
aos Fundamentos da Computação, Pioneira Thomson Learning, 2006. Vendido na Livraria da UFMG
(na Praça de Serviços).
Veja soluções dos exercícios do capítulo 1 (em um formato provisório).
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).
- Monitoria:
- Monitor: André Lima Gaspar Ruas
- Horário de atendimento: 4as e 5as-feiras de 16:30h às 18:30h
- Local: sala 3020
- E-mail: algruas@dcc.ufmg.br
- Exercícios:
- Provas:
- Primeira prova (Turmas Z e F; Turma W):
- Data: 08/04/2010.
- 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 Z e F; Turma W.
- Segunda prova(Turmas Z e F; Turma W):
- Data: 11/05/2010. Adiada para 18/05.
- Assunto: até Máquinas de Estados Finitos (Capítulo 2, menos 2.2.2 e 2.5).
- Terceira prova(Turmas Z e F; Turma W):
- Data: 17/06/2010.
- Assunto: até Autômatos de Pilha (Capítulo 3, menos Exemplos 96, 115 e 117 e
Teoremas 25 e 27).
- Quarta prova(Turmas Z e F; Turma W):
- Data: 08/07/2010.
- Assunto: até Máquinas de Turing (Capítulo 4).
- Exame especial (para alunos frequentes a 75% das aulas com conceito E):
- Data: 12/07/2010 às 17h.
- Local: sala 2010.
- Assunto: toda a matéria (capítulos 1, 2, 3 e 4).
ATENÇÃO: Vamos substituir a menor das quatro notas (L1+P1), (L2+P2), (L3+P3) e (L4+P4), pela média das 3 maiores. Com isso, a sua nota vai para as alturas!
- Veja suas notas.