Olá, Eduardo: Uma apresentação que eu gosto bastante é a que se encontra no livro Models and Games, de Vaananen (se encontra com facilidade uma cópia na internet). Lá ele mostra inclusive os vínculos entre esses jogos e condições de definibilidade em primeira ordem, tema que pode te interessar dado o seu objetivo pedagógico.
Abraços Bruno Em domingo, 5 de junho de 2022 às 20:17:26 UTC-3, eduardoochs escreveu: > 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.ramo...@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/8f611f22-f0a6-40a8-af5e-62673967e572n%40dimap.ufrn.br.
