para ensinar recursão é preciso ensinar recursão

[Joao Marcos]

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!

[leonormaiasantos]

(Peço desculpas se já postaram a informação)

Além do livro publicado pela Martins Fontes, indicado por João Marcos, Marcelo Ferreira tem uma publicação gratuita pela Language Science Press, também sobre semântica formal de línguas naturais, que vocês encontram em

https://langsci-press.org/catalog/book/200

Boa leitura!

Abraços,
Leonor