As partes sobre back-and-forth são super bem escritas e super úteis
pro que eu tou fazendo sim! Obrigado!!! Mas ainda não consegui
encontrar as partes sobre definibilidade em primeira ordem... quando
você tiver acesso ao livro de novo você pode procurar e me mandar o
número da seção?
Grat =) =) =),
Eduardo Ochs
On Sun, 5 Jun 2022 at 20:28, bruno.ramos.mendonca
<bruno.ramos.mendo...@gmail.com> wrote:
>
> 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/CADs%2B%2B6ih_kj-d02rnOnF8vn8FH0Sj4UUJEtSwVeA-tuZWT2Chg%40mail.gmail.com.
