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

De Wiki DAINF
(Diferença entre revisões)
(Artigos)
(Recursos)
Linha 16: Linha 16:
 
** 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
 
** 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
 
** [http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao/1.LogicaProposicional/PorQuePrecisamosEnsinarLogicaEComoDevemosEnsinaLa_CibeleReis_S71_20091.pdf Por que precisamos ensinar lógica e como devemos ensiná-la? - Tradução (parcial) para o português feita por Cibele Reis]
 
** [http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao/1.LogicaProposicional/PorQuePrecisamosEnsinarLogicaEComoDevemosEnsinaLa_CibeleReis_S71_20091.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 ===
 +
 +
* [http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao/1.LogicaProposicional/ExerciciosResolvidos/ Diversos exercícios resolvidos de representação do conhecimento]

Edição de 17h47min de 4 de agosto de 2009

Tabela de conteúdo

Informações

Datas Importantes

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

Recursos

Artigos

Exercícios Resolvidos

Ferramentas pessoais