Max Raphael Sobroza Marques

Informações

Max Raphael Sobroza Marques é estudante de do curso de Engenharia de Computação da UTFPR - Campus Curitiba, tendo ingressado no curso no segundo semestre de 2008 (2008.2).

Atualmente é monitor da disciplina Lógica para Computação (período 2009.1 a 2010.2).

Tarefas da Monitoria em Lógica para Computação (2009.2)

Atendimento a Alunos

• Horário: veja em Monitoria

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.