Fundamentos da Teoria da Computação
Primeiro 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.
  • 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: Renato Vimieiro (vimieiro@dcc.ufmg.br)
  • Horário de atendimento: terças de 15h às 16:30 e sextas de 10:30 às 11:30.
  • Local de atendimento: sala 1030/ICEx.
• Exercícios:
  • Primeira lista. Entrega: ao monitor ou professor até 03/04/2006.
  • Segunda lista. Entrega: ao monitor ou professor até 04/05/2006.
  • Terceira lista. Entrega: ao monitor ou professor até 06/06/2006.
  • Quarta lista. Entrega: ao professor até 04/07/2006.
• Provas:
  • Primeira prova:
    • Data: 04/03/2006.
    • 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/05/2006.
    • Assunto: até Máquinas de Estados Finitos (capítulo 2).
  • Terceira prova:
    • Data: 06/06/2006.
    • Assunto: até Autômatos de Pilha (capítulo 3).
  • Quarta prova:
    • Data: 04/07/2006.
    • Assunto: até Máquinas de Turing (capítulo 4).
    • ATENÇÃO: serão distribuídos mais 6 pontos extra nessa prova, com o objetivo de recuperar as más notas nas listas 1 a 3. Serão 3 questõezinhas ridiculamente fáceis... Com isto, teremos totalizado 10 pontos extra!
  • Exame especial:
    • Data: 14/07/2006 às 10h.
    • Local: sala 2006.
    • Assunto: toda a matéria.
• Veja suas notas.