Fundamentos da Teoria da Computação
Primeiro semestre/2015
- 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).
- Leia atentamente o plano de curso.
- Cópias dos slides:
- As seguintes páginas podem auxiliar no aprendizado de certos conceitos:
- Não deixe de ler: The Importance of Mathematics Courses in Computer Science Education, by Keith Devlin.
- Monitoria:
- Monitor: Rubens Emilio Alves Moreira
- Horários de atendimento: sextas-feiras de 11:10 às 12:50h.
- Local: sala 2014/ICEx.
- E-mail: rubens@dcc.ufmg.br
- Listas de exercícios:
- Primeira lista. Entrega ao professor até 16:40h do dia 07/04/2015.
- Segunda lista. Entrega ao professor até 16:40h do dia 14/05/2015, digo, 19/05/2015.
- Terceira lista. Entrega ao professor até 16:40h do dia 25/06/2015, digo, 30/06/2015. A aula do monitor será em 25/6. No dia 23/6 não haverá aula.
- Provas:
- Primeira prova:
- Data: 07/04/2015.
- 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 solução da prova.
- Segunda prova:
- Data provável: 14/05/2015. Adiada para o dia 19/05/2015. Não haverá aula no dia 14/05/2015.
- Assunto: até a Seção 3.4.3, Manipulação de gramáticas e formas normais (menos 2.5).
- Veja a solução da prova.
- Terceira prova:
- Data: 25/06/2015. Adiada para o dia 30/06/2015. A aula do monitor será em 25/6. No dia 23/6 não haverá aula.
- Assunto: até Decidibilidade (Capítulo 5 até 5.5).
- Veja a solução da prova.
- Exame Especial:
- Data: 13/07/2015 às 17h.
- Local: sala 2008.
- Assunto: conteúdo cobrado nas 3 provas.
- Veja suas notas e frequência no minhaUFMG.