Olá, O Nico continua aqui em Curitiba (ele fez mestrado na UTFPR, onde leciono, mas dá aula em particulares). O perfil dele no Facebook é https://www.facebook.com/logica.nico?fref=ts Não sei em que pé andam os ASA (ambientes de suporte à aprendizagem) dele. Ele tinha o ASA-CALCPro (para lógica proposicional) e o ASA-TABLEAUX.
A página é esta http://www.asacalcpro.com.br/GiacomoN/index.htm mas não sei se está OK. Eu mesmo fiz duas coisas bem simples: http://rigparser.appspot.com/ um parser rigoroso para lógica proposicional e https://www.facebook.com/LogicaParaComputacaoUtfpr/posts/303030853130650 um sistema que desenha árvores de análise para lógica proposicional Adolfo 2014/1/22 Marcelo Finger <[email protected]> > Caro Stanley. > > De meu conhecimento, sei que o Nico ([email protected]) vem > desenvolvendo trabalhos em ambientes para o ensino de lógica formal a > alunos de universidade. Seria interessante v bater um papinho com > ele. > > []s > > Marcelo > > > 2014/1/22 Stanley Medeiros <[email protected]>: > > Olá, pessoal! Venho pedir uma ajuda a vocês... > > > > Em 2011, quando trabalhava no Instituto Federal de Alagoas, resolvi > > oferecer um curso de introdução à lógica para meus alunos dos cursos > > técnicos em informática e eletroeletrônica. Resolvi, na época, usar o > > "language, proof and logic" e obtive excelentes resultados. Cheguei até a > > acreditar que eles tiveram mais facilidade que muitos colegas da > graduação > > em filosofia. A partir daí, percebi que poderia fazer uma boa > contribuição > > para a formação desses garotos. > > > > Hoje, trabalho no Instituto Federal do Rio Grande do Norte, em um campus > > que fornece os mesmos cursos. Desta vez, quero tentar algo mais > > sistematizado. Minha ideia é oferecer novamente um curso introdutório de > > lógica, um que use softwares, mas vou tentar testar mais de um livro, em > > duas versões diferentes (primeiro e segundo semestres). > > > > Quero usar a experiência para escrever um livro de introdução à lógica > > especialmente voltado para o ensino médio - adaptado didaticamente para a > > faixa etária deles, além de também considerar uma carga horária semanal > de > > 2 horas-aula (comum no ensino médio daqui) > > > > Gostaria de, antes do livro, é claro (e até para ter o suporte > necessário), > > começar um projeto de pesquisa em ensino de lógica. Para isso, preciso de > > uma ajuda dos colegas. Preciso da indicação de textos que tratem > justamente > > sobre o ensino de lógica, de modo que possa fazer uma boa revisão de > > literatura e possa, assim, convencer o pessoal daqui de que vale a pena > > ensinar "bastante" lógica já no ensino médio - principalmente para alguns > > cursos técnicos na modalidade médio-integrado. > > > > Se der certo, os futuros alunos de graduação e pós darão menos trabalho e > > seus professores! :))) > > > > Qualquer ajuda é muito bem-vinda. > > > > Um grande abraço. > > > > Stanley. > > _______________________________________________ > > Logica-l mailing list > > [email protected] > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > > > -- > Marcelo Finger > Departament of Computer Science, IME > University of Sao Paulo > http://www.ime.usp.br/~mfinger > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- ================================================================== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br ================================================================== -------------------------------------------- Q: Why is this email three sentences or less? A: http://three.sentenc.es _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
