Fundamentos da Teoria da Computação
Primeiro semestre/2013
- Plano de Curso (em PDF).
Atenção: o critério de avaliação foi modificado: serão aplicadas 3 provas (valendo 24, 23 e 23 pontos) e 2 trabalhos (valendo 15 pontos cada um).
- 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 provisório).
Cópias dos slides:
- As seguintes páginas podem auxiliar no aprendizado de certos conceitos:
- Veja como está evoluindo o projeto do computador quântico.
- Uma demonstração poética da indecidibilidade do
problema da parada (em PostScript).
- Monitoria:
- Monitores: César Francisco de Moura Couto
- Horários de atendimento: segunda e quarta-feira de 17 às 18h.
- Local: sala 3054 (César)
- E-mail: cesarfmc@dcc.ufmg.br
- Trabalhos práticos:
- Primeiro TP. Entrega: dia 25/4.
Observações:
- O monitor vai fazer a apresentação do TP no dia 9/4 às 19:50h. Adiada para o dia 11/4 às 19:50h.
- Veja um texto sobre o método de minimização.
- O local da apresentação a ser feita pelo aluno será divulgado oportunamente.
- Para quem não fizer o TP a primeira prova fica valendo 24+15=39 pontos.
- Segundo TP. Entrega do código fonte no Moodle: até dia 13/06 às 23:55h.
O trabalho deverá ser apresentado no dia 14/06 às 17h (local a definir).
- Provas:
- Primeira prova:
- Data: 04/04/2013.
- Assunto: até Autômatos Finitos Não Determinísticos
(seções 1.10, 1.11, 1.12, 2.1, 2.2 (menos 2.2.2) e 2.3).
- Veja a lista preparatória.
- Veja a solução.
- Segunda prova:
- Data: 09/05/2013.
- Assunto: até a Seção 3.4.3, Manipulação de gramáticas e formas normais (menos 2.5).
- Veja a lista preparatória.
- Veja a solução.
- Terceira prova:
- Data: 20/06/2012. Atenção: Adiada para o dia 25/06.
- Assunto: até Decidibilidade (Capítulo 5 até 5.5).
- Veja a lista preparatória.
- Veja a solução.
- Exame Especial:
- Data: 10/07/2013 às 17h.
- Local: sala 2010.
- Assunto: Capítulo 2, 3 e 4..
- Veja suas notas e frequência no minhaUFMG.