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
