Max Raphael Sobroza Marques

De Wiki DAINF
(Diferença entre revisões)
(Atendimento)
(Tarefas)
Linha 14: Linha 14:
 
** Sexta: 14h-18h
 
** Sexta: 14h-18h
 
** Local de atendimento: sala dos monitores do DAINF (sala 4)
 
** 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:
 +
# ASA CALCPRO
 +
# ASA TABLEAUX
 +
# WinKE
 +
# KEMS
 +
# 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]].

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

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.

Ferramentas pessoais