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

De Wiki DAINF
(Diferença entre revisões)
(Artigos)
(Artigos)
Linha 15: Linha 15:
 
* 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.
 
* 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
 
** 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 Leia uma tradução (parcial) - Por que precisamos ensinar lógica e como devemos ensiná-la?]
+
** [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]

Edição de 17h44min 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

Ferramentas pessoais