Lógica para Computação - Turma S73 - 2009.2
De Wiki DAINF
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
- Rede social da disciplina: http://lc-s73-2009-2.ning.com/
- Professor: Adolfo Neto
- Projeto Integrado - Turma S73 - 2009.2
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.
- 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
Exercícios Resolvidos
Avaliações
One-Minute Paper (OMP)
Descrição
One-minute paper (artigo de um minuto) é uma técnica de aprendizagem ativa que utilizo em minhas turmas.
Ao final de cada aula alguns alunos serão escolhidos para me entregar o seu one-minute paper respondendo às seguintes questões:
- O que aprendi de mais importante nesta aula?
- Qual a maior dúvida que ficou?
- Com que colegas da classe eu discuti a última aula?
Observações e orientações
Todos devem colocar seu nome e a data na parte superior da folha. Eu colecionarei os "one-minute-papers" em pastas, e devolverei aos alunos no fim da disciplina. Comentarei TODOS por escrito, e selecionarei alguns para comentar na aula seguinte. Direi o nome do aluno do OMP que comentar na aula, a menos que ele tenha colocado em cima "Confidencial" (contribuição do Professor Valdemar Setzer).
Formato do OMP
- Nome do Aluno(a): _______________________________ Data: __/__/____
- Respostas:
- .
- .
- .