Caros, Agradeço a todos que responderam.
[]s Adolfo ============================================================ Adolfo Neto 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 ============================================================ 2010/11/13 Joao Marcos <[email protected]> > 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
