3
Fundamentos da Teoria da Computação - Primeiro semestre/2012
Fundamentos da Teoria da Computação
Primeiro semestre/2012
- Plano de Curso (em PDF).
- 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: Sérgio Mariano Dias e César Francisco de Moura Couto
- Horários de atendimento: segundas-feiras de 16 às 18h (César) e quintas-feiras de 15 às 16h e 17 às 18h (Sérgio).
- Local: salas 3018 (Sérgio) e 3054 (César)
- E-mails: sergiomariano@gmail.com e cesarfmc@dcc.ufmg.br
- Exercícios:
- Provas:
- Primeira prova(Turma N; Turma W):
- Data: 03/04/2012.
- 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: Turma N; Turma W.
- Para pegar sua prova e lista corrigidas, procurar na sala 3018.
- Segunda prova(Turma N; Turma W):
- Data: 08/05/2012.
- Assunto: até Máquinas de Estados Finitos (Capítulo 2, menos 2.2.2 e 2.5).
- Veja a solução da prova: Turma N; Turma W.
- Terceira prova(Turma N; Turma W):
- Data: 05/06/2011.
- Assunto: até Autômatos de Pilha (Capítulo 3, menos Exemplos 96, 115 e 117 e
Teoremas 25 e 27).
- Quarta prova(Turma N; Turma W):
- Data: 28/06/2011.
- Assunto: até Máquinas de Turing (Capítulo 4).
- Exame especial para as duas turmas (para alunos frequentes a 75% das aulas com conceito E, ou para melhoria de conceito):
- Data: 12/07/2012 às 17h.
- Local: sala 2010.
- Assunto: toda a matéria (capítulos 1, 2, 3 e 4).
- Veja suas notas e frequência no minhaUFMG.