Olá Patrick. Acessei o ProofWeb, mas não consegui usá-lo. Tem algum vídeo ou um tutorial amigável de como usá-lo?
Abraço, Ricardo 2009/7/14 Patrick Terrematte <[email protected]> > 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 > > -- Dr. Ricardo Pereira Tassinari - Departamento de Filosofia UNESP - Faculdade de Filosofia e Ciências - Marília Homepage: http://www.marilia.unesp.br/ricardotassinari
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
