Grato, Patrick. Abraço, Ricardo. 2009/7/16 Patrick Terrematte <[email protected]>
> 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 >> >> > -- 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
