Fundamentos da Teoria da Computação
Primeiro semestre/2016
- 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 de capítulos da nova versão do livro:
- 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.
- How big is infinity?, by Dennis Wildfogel.
- Para ouvir no trânsito, no banheiro, ou ...: History of Philosophy without any gaps.
- The story of zero: getting something from nothing
- Monitoria:
- Monitor: Mateus Andrade Resende.
- Horários de atendimento: de 13 às 14h, terça e quinta-feira.
- Local: sala 2007.
- E-mail: mandraderezende@ufmg.br
- Listas de exercícios:
- Primeira lista. Entrega ao professor até 16:40h do dia 07/04/2016.
- Segunda lista. Entrega ao professor até 16:40h do dia 17/05/2016. Adiada para 19/05.
- Terceira lista. Entrega ao professor até 16:40h do dia 28/06/2016.
- Provas:
- Primeira prova:
- Data: 07/04/2016.
- Assunto: até Autômatos Finitos Não Determinísticos
(No livro velho: seções 1.10, 1.11, 1.12, 2.1, 2.2 (menos 2.2.2) e 2.3).
(No livro novo: seções 1.2, 1.3, 1.4, 2.1, 2.2 (menos 2.2.2) e 2.3).
- Veja a solução da prova.
- Segunda prova:
- Data provável: 17/05/2015. Adiada para 19/05.
- 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: 28/06/2016.
- Assunto: até Decidibilidade (Capítulo 5 até 5.5).
- Veja a solução da prova.
- Exame Especial:
- Data: 12/07/2015 às 16h.
- Local: sala 2008.
- Assunto: conteúdo cobrado nas 3 provas.
- Veja suas notas e frequência no minhaUFMG.