Lógica Aplicada a Computação
Segundo semestre/2003

• Plano de Curso: pdf, ps.
• Veja a página do livro texto, Mathematical Logic for Computer Science.
• Links importantes:
  • Automated deduction systems and groups
  • Formal methods
  • Logic-related conferences
  • Library of logic based systems and test cases
  • Logic programming
  • Mathematical logic around the world
  • Mechanized reasoning
  • Software horror stories
  • SWI-Prolog
  • The Z notation
• Listas de exercícios:
  • Primeira lista. Entrega: 16/10/03.
  • Segunda lista. Entrega: 25/11/03. Adiado para 27/11/03.
• Trabalhos:
  • Primeiro trabalho. Entrega: 30/10/03.
  • Segundo trabalho. Entrega: 03/02/04.
    Programas em Prolog do M. Fitting (txt).
• Provas:
  • Primeira prova.
    • Data: 11/12/2003.
    • Assunto: capítulos 1 a 6 do livro texto (ou seja, os assuntos das listas 1 e 2).
    • Aqui está uma lista preparatória para a prova.
  • Segunda prova.
    • Data: 29/01/2004.
    • Assunto: capítulos 8 e 9 do livro texto (rudimentos de Prolog e prova de correção).
    • Aqui está uma lista preparatória para a prova.
• Veja sua nota.