Olá Prof. Ricardo, Fiz alguns incrementos no ProofWeb e elaborei este video tutorial para o ProofWeb: http://www.lolita.dimap.ufrn.br/proofweb/tutorial-video.htm
Acredito que facilitará bastante. Sugestões são sempre bem vindas e qualquer problema é só me avisar! []'s Patrick Terrematte http://lattes.cnpq.br/4283045850342312 2009/7/16 Ricardo Pereira Tassinari <[email protected]> > 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
