Olá, Rita! Durante o meu mestrado orientado pelo Prof. João Marcos, desenvolvemos um tutorial interativo TryLogic para o Ensino de Lógica Proposicional através de uma estratégia de Demonstração e Refutação: http://lolita.dimap.ufrn.br/trylogic/
Além dessa ferramenta, desenvolvemos uma ferramenta para gerar tarefas proposicionais integrada ao Moodle, assim o professor da disciplina pode gerar tarefas individualizadas de demonstração e refutação. A vantagem da nossa proposta é que qualquer Ambiente Virtual de Aprendizagem como o Moodle ou o Atutor. pode utilizar o sistema TryLogic. Nos últimos três semestres nós utilizamos a ferramenta e os alunos tem tido bastante autonomia ao aprender a demonstrar e refutar em lógica proposicional através do tutorial e do ProofWeb. De fato, qualquer colega da lista e da comunidade de lógica que desejar utilizar o TryLogic em sua disciplina, nós podemos criar um curso do Moodle (e.g. http://lolita.dimap.ufrn.br/mdl/course/view.php?id=8 ) e cadastrar seus alunos para o gerenciamento da disciplina e das tarefas do TryLogic. Basta me enviar um e-mail com a lista dos alunos! Para maiores detalhes sobre a Ferramenta e nossa abordagem, envio aqui uma versão da minha dissertação: https://dl.dropboxusercontent.com/u/8532850/Modelo-PPgSC.pdf . Além disso, segue aqui também um short paper do nosso trabalho que será apresentado no SBIE (2013)<http://perseus.nied.unicamp.br/joomla/index.php/24-sbie>no final deste mês de novembro: https://dl.dropboxusercontent.com/u/8532850/120845_1.pdf Bom, eu reuni uma lista de ferramentas de ensino aqui: http://lolita.dimap.ufrn.br/logicwiki/index.php/Uma_lista_de_Ferramentas_para_o_Ensino_de_L%C3%B3gica E inclusive ficaria muitíssimo grato se você e os colegas me sugerissem ferramentas de ensino de lógica para eu atualizar a lista. Sei que há outras listas de ferramentas extensivas (mas que também estão desatualizadas) http://www.ucalgary.ca/aslcle/logic-courseware/ e http://www.cs.ru.nl/~freek/digimath/bycategory.html Para algumas referências sobre abordagens no ensino de Lógica, compartilho diversos artigos que eu reuni sobre o tema de Ferramentas de Ensino de Lógica e Informática na Educação: https://www.dropbox.com/sh/b2ebdca883salo3/OSftzoU8Z5 Para o desenvolvimento do objeto de aprendizagem, não sei seria do seu interesse para o desenvolvimento do Objeto de Aprendizagem, mas segue um endereço com uma base de ontologia de Lógica para Computação: http://obaa.unisinos.br/MilosEduLogica-v10.owl Por fim, sobre a utilização de objetos de aprendizagem e lógica proposicional, há diversas outras propostas relacionadas, por exemplo: @INPROCEEDINGS{Mossman2012, author = {Mossman, Marcel and Gomes, Lucas dos S and Gluz, Jo{\~a}o Carlos}, title = {Objetos de Aprendizagem M{\'o}veis para Ensino de Dedu{\c{c}}{\~a}o Natural na L{\'o}gica Proposicional}, booktitle = {Anais do Simp{\'o}sio Brasileiro de Inform{\'a}tica na Educa{\c{c}}{\~a}o}, year = {2012}, volume = {23}, number = {1}, url = {http://www.br-ie.org/pub/index.php/sbie/article/view/1752} } Abraços! Patrick Terrematte Em 11 de novembro de 2013 12:16, Rita de Cassia Tesseroli Linhares < tesserolir...@gmail.com> escreveu: > Olá. > > Gostaria de referencias pedagógicas sobre o ensino de lógica, mais > especificamente para o ensino da logica proposicional. > > O motivo do interesse é que desenvolvo um objeto de aprendizagem sobre este > tópico e ficaria feliz em ter um embasamento sobre como apresentar/ensinar > o conteúdo. > > Agradecida. > > Rita Tesseroli. > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- []'s Patrick Terrematte ------------------- _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
