Caro João, O livro do Kleene, “Mathematical Logic” (John Wiley) nas sessões 14 e 15 do capítulo I tem exemplos e exercícios que achei pertinentes (Applications to ordinary language, p. 58ff e 67ff.) Mas talvez eu esteja chovendo no molhado.
Abraços, Chico Miraglia On Thu, 16 Nov 2023 at 10:29 Joao Marcos <botoc...@gmail.com> wrote: > PessoALL: > > Por razões pedagógicas, estive buscando por exercícios de _tradução_ > entre "a" linguagem natural (qualquer uma que eu seja capaz de ler) e > linguagens formais de teorias lógicas apropriadas. Também estive > buscando exercícios na direção oposta, isto é, envolvendo _leituras > naturais_ de asserções descritas em linguagens formais. Ambas > categorias de exercícios parecem ser extremamente importantes para os > estudantes curiosos em saber *pra quê serve tudo isso*. > > Agradeço desde já por quaisquer sugestões que vocês puderem > compartilhar comigo de material (de qualquer nível) para a prática > destas tarefas. Tenho interesse particular por materiais que *não* > tratem de teorias matemáticas, mas que, ao invés, envolvam a > formalização de outros fragmentos interessantes da linguagem natural. > Materiais envolvendo _erros_ de tradução, numa direção ou na outra, > são particularmente bem-vindos! > > Caso seja de interesse dos colegas, posso ao final compilar aqui as > referências recebidas, na lista ou fora dela. > > Saudações lógico-naturais, > Joao Marcos > > -- > http://sequiturquodlibet.googlepages.com/ > > -- > 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 acessar esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgSXODHR0OMA6c-VUELwn3MrhOggxB8LgCoOwrCqJb-og%40mail.gmail.com > . > -- 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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAPRoxHZ_0_UPFFpihpwo0gD3_Yob0FjNT04SyG7nyW8qpVu4w%40mail.gmail.com.