Olá Prof. Ricardo, No momento, há apenas este tutorial dos criadores do ProofWeb: http://www.lolita.dimap.ufrn.br/proofweb/manual.php
Além do manual em pdf: http://www.lolita.dimap.ufrn.br/proofweb/man.pdf Há também estas dicas para lógica proposicional: http://www.lolita.dimap.ufrn.br/proofweb/manual-prop.php E para lógica de Primeira Ordem: http://www.lolita.dimap.ufrn.br/proofweb/manual-fol.php Acrescentei algumas *Tasks* ao clicar em **Guest participant login*. *Acredito que isto facilitará sua utilização. De todo modo, concordo com você que o ProofWeb ainda não possui uma usabilidade intuitiva, mas uma vez habituado é bastante interessante. Contudo, me comprometo em elaborar um video-tutorial do ProofWeb mais amigável até amanhã a noite. Qualquer problema até lá pode me comunicar, Grande Abraço, Patrick Terrematte http://lattes.cnpq.br/4283045850342312 2009/7/16 Ricardo Pereira Tassinari <[email protected]> > 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
