Fundamentos da Teoria da Computação
Segundo semestre/2006

• Livro texto: Introdução aos Fundamentos da Computação, Pioneira Thomson Learning, 2006.
  Algumas livrarias com venda on line:
  • Cultura
  • Saraiva
  • Siciliano
• Plano de Curso: PDF, PostScript. (Para leitura de PostScript, pegue o software apropriado.)
• As seguintes páginas podem auxiliar no aprendizado de certos conceitos:
  • Language Emulator
  • JFLAP. Veja como usar.
  • Deus ex Machina
  • Turing's World
  • Webworks Laboratory
  • Ganimal
  • The Java Computability Toolkit
• Veja uma demonstração poética da indecidibilidade do problema da parada (em PS).
• Monitoria:
  • Monitor: João Fernando (jsarubbi@dcc.ufmg.br)
  • Horário de atendimento: terça-feira de 14h às 16h.
  • Local de atendimento: sala 3003 (LAPO).
• Exercícios:
  • Primeira lista. Entrega: até 06/09/2006.
    Veja a solução da lista.
  • Segunda lista. Entrega: até 04/10/2006.
  • Terceira lista. Entrega: até 06/11/2006.
  • Quarta lista. Entrega: até 29/11/2006.
• Provas:
  • Primeira prova:
    • Data: 06/09/2006. No dia 04/09 haverá aula para resolução de dúvidas.
    • Assunto: até Autômatos Finitos Determinísticos (seções 1.10, 1.11, 1.12, 2.1 e 2.2).
    • Veja a solução da prova.
  • Segunda prova:
    • Data: 04/10/2006. (No dia 2/10 teremos aula para para resolução de dúvidas.)
    • Assunto: até Máquinas de Estados Finitos (capítulo 2 menos seções 2.2.2 e 2.5).
  • Terceira prova:
    • Data: 06/11/2006. Adiada para 08/11/2006.
    • Assunto: até Autômatos de Pilha (capítulo 3).
  • Quarta prova:
    • Data: 29/11/2006.
    • Assunto: até Máquinas de Turing (capítulo 4).
  • Exame especial (para alunos frequentes a 75% das aulas com conceito E):
    • Data: 18/12/2006 às 10h.
    • Local: sala 2006.
    • Assunto: toda a matéria.
• Veja suas notas.