Edição de 14h31min de 16 de setembro de 2009

• Estudante de Engenharia de Computação.

• Monitor da disciplina Lógica para Computação de 2009.1 a 2010.1.
  • Veja os horários e local de atendimento na página Monitoria.

Tarefas

Atendimento

• Horário em 2009.2:
  • Terça: 16h-19h
  • Quarta: 14h-19h
  • Quinta: 16h-19h
  • Sexta: 14h-18h
  • Local de atendimento: sala dos monitores do DAINF (sala 4)

Elaboração de Material Didático Complementar

• Elaboração de uma apresentação/demonstração dos softwares de auxílio ao ensino-aprendizagem de lógica

A apresentação deverá preferenciamente ser elaborada alguma ferramenta open source (OpenOffice ou Latex/Beamer).

O objetivo é que a apresentação seja exposta durante a ExpoUT 2009.

Programas a serem demonstrados:

1. ASA CALCPRO
2. ASA TABLEAUX
3. WinKE
4. KEMS
5. JAPE

Ver http://www.dainf.ct.utfpr.edu.br/wiki/index.php/L%C3%B3gica_para_Computa%C3%A7%C3%A3o#Listas_de_sistemas outros softwares (gratuitos) que possam ser usados para ensinar:

• tabelas-verdade
• semântica de lógica proposicional
• dedução natural
• cálculo de sequentes
• tablôs
• representação de conhecimento usando lógica clássica

Fonte de referências para consultas e softwares página Wiki de Lógica para Computação.

Preparação de Atividades Teóricas e/ou Práticas