Caros colegas, O Grupo de pesquisa LoLITA/DIMAp¹ está disponibilizando o cadastro de cursos de Lógica para Professores que desejam utlizar o ProofWeb no ensino de Dedução Natural. O ProofWeb está disponível no nosso servidor através do endereço: http://www.lolita.dimap.ufrn.br/proofweb/ O ProofWeb é um sistema para o ensino de lógica e um ambiente para demonstrador de teoremas na Web ( http://en.wikipedia.org/wiki/Interactive_theorem_proving). Foi desenvolvido em 2007 pelo projeto de inovação educacional "Web deduction for education in formal thinking" financiado pela Surf Foundation, the Radboud University Nijmegen e a Free University Amsterdam. Desenvolvidor por Cezary Kaliszyk, Freek Wiedijk e Maxim Hendriks. E refinado e desenvolvido com a experiência dos cursos de Femke van Raamsdonk, Hanno Wupper e Roel de Vrijer. Dois breves tutoriais de utilização podem ser encontrados aqui para primeira ordem (http://www.lolita.dimap.ufrn.br/proofweb/manual-fol.php) eaqui para proposicional(http://www.lolita.dimap.ufrn.br/proofweb/manual-prop.php). O manual do ProofWeb original encontra-se aqui( http://www.lolita.dimap.ufrn.br/proofweb/man.pdf).
A aplicação ProofWeb é um sistema Opensource que permite a interação entre alguns demonstradores de teoremas -- Coq, Isabelle, Matita, Lego e Plastic -- e uma interface Web. Foi implementado em Ocaml e Javascript. E originalmente, está disponível no endereço: http://prover.cs.ru.nl/ Se algum professor estiver interessado em utilizar o ProofWeb como ferramenta auxiliar em seu curso para este semestre de 2009.2, basta entrar em contato: [email protected] ou [email protected] --------------------------------------------------------- ¹LoLITA é Logic, Language, Information, Theory and Applications ( http://www.lolita.dimap.ufrn.br/ <http://www.lolita.dimap.ufrn.br//>). Formado pelos professores: - Benjamín René Callejas Bedregal - Joao Marcos de Almeida - Regivan Hugo Nunes Santiago -------------------------------------------------------- * *Grande Abraço, Patrick Cesar Alves Terrematte http://lattes.cnpq.br/4283045850342312
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
