Salve, lógicos de plantão! Buscam-se recursos didáticos a nível de graduação para ensinar sobre RECURSÃO (ESTRUTURAL) *para filósofos e linguistas*: https://twitter.com/antitheorem/status/1744730134765351143
Desde já agradeço pelos ponteiros compartilhados, Joao Marcos PS1: Agradeço aos colegas por todas as referências compartilhadas recentemente sobre *ensinar a traduzir*: https://groups.google.com/a/dimap.ufrn.br/g/logica-l/c/zZSy3qiiLH8/m/vObqtfXKCQAJ Outras referências específicas sempre serão bem-vindas! PS2: Ligado ao ponto anterior, pareceu-me interessante apontar este livro introdutório, muito bem feito e em português, de um professor da USP, sobre a *interpretação de sentenças da linguagem natural* (usando cálculo lambda): https://www.martinsfontespaulista.com.br/semantica-998434/p PS3: Gostaria de apontar que este fio, sobre o uso da Lógica no ensino de *Matemática* a nível secundário e terciário, recebeu pouquíssimas contribuições desta comunidade: https://groups.google.com/a/dimap.ufrn.br/g/logica-l/c/3z34nQdCB_k/m/yn8utORiAgAJ Sempre é tempo de colher mais opiniões sobre este assunto! -- 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_LgSd2bZb3sW1xFhz45j-WosmRKZvkuHhoEMrr%3D3ujLwiA%40mail.gmail.com.
