[Logica-l] para ensinar recursão é preciso ensinar recursão

2024-01-11 Por tôpico 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

[Logica-l] Concurso na UFBA - Possibilidades em Lógica Matemática

2024-01-11 Por tôpico 'samuel' via LOGICA-L
Prezados, Foi aberto em 02/01 um concurso da UFBA, e o nosso Departamento de Matemática tem 02 vagas para Matemática, sendo 01 vaga em regime de 20 horas e 01 vaga em regime de Dedicaçao Exclusiva. Como tem sido praxe nos últimos anos, a titulaçao exigida abre a possibilidade de inscriçao par