Salve, Eduardo: Assim por alto, pareceu-me interessante o seu material "pseudo-computacional"... Em que sentido, contudo, você acha que a sua ideia de "redução" coincide com aquilo que chamamos em geral de *reescrita*? (http://en.wikipedia.org/wiki/Rewriting)
Abraços, JMarcos 2010/11/10 Eduardo Ochs <[email protected]>: > Oi Adolfo, > > eu tenho usado uma ferramenta "pseudo-computacional" pra ensinar > Lógica... alguns alunos acham que ela é um martelo, mas ela tem > funcionado muito bem. > > Dê uma olhada em: > http://angg.twu.net/2010.2-MD.html > > principalmente nos scans... a idéia de "redução" passa a ser central > no curso, e os alunos aprendem a calcular muitas coisas passo a passo. > Quando as "demonstrações" aparecem a sério, no segundo terço do curso, > eles (i.e., os alunos que não desistiram 8-)) já sabem pôr a mão na > massa e checar cada passo, e fica muito pouca margem pra viajações... > > [[]], > Eduardo Ochs > [email protected] > http://angg.twu.net/ > > P.S.: talvez a gente pegue alunos mais sem base do que o normal aqui > em Rio das Ostras... as abordagens dos livros que nós tentamos usar > não estavam funcionando direito, os alunos não conseguiam checar > coisas que os livros supõem que eram óbvias... > > P.P.S.: a internet aqui é MUITO ruim. > > 2010/11/9 Adolfo Neto <[email protected]>: >> Olá, >> >> Alguém aqui usa alguma ferramenta para o ensino de lógica? Quais? >> >> []s >> Adolfo > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
