Max Raphael Sobroza Marques
De Wiki DAINF
(Diferença entre revisões)
(Nova página: * 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 [[Monitori...) |
(→Informações) |
||
(12 edições intermediárias de um usuário não apresentadas) | |||
Linha 1: | Linha 1: | ||
− | + | = 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 é [[Monitoria| 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: | ||
+ | # 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]]. | ||
+ | |||
+ | == Preparação de Atividades Teóricas e/ou Práticas == |
Edição atual tal como 12h08min de 12 de abril de 2010
Tabela de conteúdo |
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:
- 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.