Lógica para Computação - Turma S73 - 2009.2

Informações

• Página Wiki da disciplina: Lógica para Computação
• Página da disciplina no Moodle: http://ead.dainf.ct.utfpr.edu.br/course/view.php?id=29
• Professor: Adolfo Neto

Datas Importantes

• 14/10/2009: Entrega do documento de especificação formal do sistema (projeto integrado)

Recursos

Artigos

• BAKÓ, Mária. "Why we need to teach logic and how can we teach it?". Disponível em:<http://www.cimt.plymouth.ac.uk/journal/bakom.pdf>. Acesso em: 4 Ago. 2009.
  • Tradução parcial