Opa!!!! Voce pode me mandar links sobre isso, ou mais keywords pra eu procurar? Obrigado! =) Eduardo
On Sun, 5 Jun 2022 at 19:58, bruno.ramos.mendonca <bruno.ramos.mendo...@gmail.com> wrote: > > Olá, Eduardo: > > Fiquei com a impressão que isso não é bem semântica de jogos, mas sim algo > aproximado aos jogos de back and forth entre modelos. Oponente busca em um > modelo de controle possíveis contra-exemplos ao modelo proposto pelo > Proponente. Quando contra-exemplos não podem mais ser encontrados, P acertou: > há *isomorfismo parcial* entre os modelos apresentados. > > Abraços > Bruno > > Em sábado, 4 de junho de 2022 às 11:41:43 UTC-3, eduardoochs escreveu: >> >> 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%2B6gkGwOxzBgw82FGE%3DkRe%2BsP8zZz48HE%2BoFj74%3D2akiDtw%40mail.gmail.com.
