Lógica para Computação - Turma S71 - 2009.2
De Wiki DAINF
(Diferença entre revisões)
(→Informações) |
(→Informações) |
||
| Linha 4: | Linha 4: | ||
* Página da disciplina no Moodle: http://ead.dainf.ct.utfpr.edu.br/course/view.php?id=35 | * Página da disciplina no Moodle: http://ead.dainf.ct.utfpr.edu.br/course/view.php?id=35 | ||
* Professor: [[Adolfo Neto]] | * Professor: [[Adolfo Neto]] | ||
| + | * [http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao/ Materiais diversos da disciplinas (incluindo slides)] | ||
== Datas Importantes == | == Datas Importantes == | ||
Edição de 14h57min de 9 de setembro 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=35
- Professor: Adolfo Neto
- 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
