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

Informações

• Página Wiki da disciplina: Lógica para Computação
• Página da disciplina no Moodle: a definir
• Professor: Adolfo Neto

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.
  • Cópia local disponível em http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao/1.LogicaProposicional/WHY_WE_NEED_TO_TEACH_LOGIC_AND_HOW_CAN_WE_TEACH_IT_bakom.pdf
  • Por que precisamos ensinar lógica e como devemos ensiná-la? - Tradução (parcial) para o português feita por Cibele Reis

Exercícios Resolvidos

• Diversos exercícios resolvidos de representação do conhecimento