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 <[email protected]> --- 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 [email protected]. 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.
