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

Edição atual tal como 16h14min de 14 de setembro de 2009

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=35
• Professor: Adolfo Neto
• Monitor: Max Raphael Sobroza Marques
• Materiais diversos da disciplinas (incluindo slides)

Datas Importantes

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

Listas de Exercícios

1. Lógica proposicional:
   • p.12-13 de (SILVA; FINGER; MELO, 2006)
   • p.16 de (SILVA; FINGER; MELO, 2006)
   • p.20-22 de (SILVA; FINGER; MELO, 2006)
   • p.27-28 de (SILVA; FINGER; MELO, 2006)
2. Sistemas dedutivos:
   • para sistemas axiomáticos:
     • p.40-41 de (SILVA; FINGER; MELO, 2006)
   • para dedução natural:
     • p.47-48 de (SILVA; FINGER; MELO, 2006)
   • para tablôs analíticos:
     • p.55-56 de (SILVA; FINGER; MELO, 2006)
     • Fazer os exercícios 2.6 e 2.7 das páginas 47 e 48 de (SILVA; FINGER; MELO, 2006) com tablôs analíticos
   • para tablôs KE:
     • Fazer os exercícios p.55-56 de (SILVA; FINGER; MELO, 2006) com tablôs KE
     • Fazer os exercícios 2.6 e 2.7 das páginas 47 e 48 de (SILVA; FINGER; MELO, 2006) com tablôs KE

Obs.: (SILVA; FINGER; MELO, 2006) está na bibliografia básica da disciplina.

Exercícios Resolvidos

• Diversos exercícios resolvidos de representação do conhecimento
• Respostas dos Exercícios do livro "Lógica para Computação"