Ola a todos,
estou precisando ajuda [consultoria matematica], e como sei que muitos de voces
sao e tem entre seus contatos: matematicos, fisicos, cientistas da computacao,
pode ser que algum de vossos contatos ou mesmo alunos, de graduacao ou pos
graduacao se interessem pela oportunidade []
-- Forwarded message --
[Apologies if you receive this more than once. Please forward to
potentially interested students and appropriate mailing lists.]
*
The MSc Logic Programme at the ILLC, University of Ams
Message: 2
Date: Tue, 9 Nov 2010 16:52:01 -0200
From: Adolfo Neto
Subject: [Logica-l] Ferramentas para o Ensino de Lógica
To: Lista acadêmica brasileira dos profissionais e estudantes da área
de LOGICA
Message-ID:
Content-Type: text/plain; charset=windows-1252
Olá,
Alguém aqui us
Olá, Adolfo:
No nosso curso (http://labdist.dimap.ufrn.br/atutor/bounce.php?course=27)
aqui na UFRN temos usado diversas ferramentas nos últimos anos
(http://labdist.dimap.ufrn.br/atutor/content.php?cid=133), dentre as
quais:
(1) J∀P∃
http://labdist.dimap.ufrn.br/atutor/content.php?cid=145
(2) P
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,