Lógica para Computação - Turma S73 - 2009.2
De Wiki DAINF
(Diferença entre revisões)
Linha 8: | Linha 8: | ||
* 14/10/2009: Entrega do documento de especificação formal do sistema (projeto integrado) | * 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 |
Edição de 17h42min de 4 de agosto de 2009
Tabela de conteúdo |
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