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 13h30min 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:
- 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.
