Oi todo mundo, quando eu fiz Introdução à Análise - na início da graduação, há mil anos atrás - o professor usou uma espécie de semântica de jogos pra nos ensinar a interpretar expressões com quantificadores... e ele conseguiu apresentar isso de um jeito brilhante - ele falou sobre as idéias centrais como se elas fossem "óbvias" e depois nós fomos descobrindo os detalhes à medida que nós fazíamos os exercícios do livro de Análise...
Vocês fazem coisas parecidas? Quais são as referências preferidas de vocês sobre usos _pedagógicos_ de semânticas de jogos pra ensinar lógica básica? Tou perguntando porque eu tou usando uma espécie de semântica de jogos no meu curso de Cálculo 2 - tá aqui, principalmente no exercício 2, nos slides 9 e 10, http://angg.twu.net/LATEX/2022-1-C2-infs-e-sups.pdf#page=9 e tá funcionando muito bem, mas eu sei que eu tou reconstruindo de forma improvisada coisas que foram publicadas em textos que eu nunca li - e que eu gostaria de ler... Grat =), Eduardo Ochs http://angg.twu.net/ http://angg.twu.net/2022.1-C2.html http://angg.twu.net/2022.1-C3.html -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6g4X8PjN8%2B4ZBA2KAAox%3DmCZRnRoDdzOqRACCjL6s85HQ%40mail.gmail.com.
