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

Edição de 08h20min de 5 de setembro de 2009

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

• Diversos exercícios resolvidos de representação do conhecimento

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:

1. O que aprendi de mais importante nesta aula?
2. Qual a maior dúvida que ficou?
3. 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:

1. .
2. .
3. .