[Logica-l] para ensinar recursão é preciso ensinar recursão
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 --- 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.
[Logica-l] Concurso na UFBA - Possibilidades em Lógica Matemática
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 para portadores de títulos de Doutorado em Filosofia cuja tese tenha sido em Lógica Matemática. (Infelizmente nao vale o mesmo para Doutores em Computaçao !) As provas sao: Escrita, Didática, Títulos e Defesa de Memorial. Como sao concursos gerais de Matemática, a prova escrita é sobre tópico (sorteado de uma lista) de matemática, de nível de cursos de mestrado em matemática. As inscricoes vao até 16 de fevereiro. O edital com todas as regras e detalhes está disponível em https://concursos.ufba.br/sites/concursos.ufba.br/files/docentes/edital_docente_efetivo_n_01_2024_pdf_retificado_em_10.01.2024_para_o_site.pdf Quem quiser me perguntar algo sobre o concurso, pode me mandar email (fora da lista). Abraços []s Samuel -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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/43155cdb-602c-4d5e-8fe3-57fa91434aa3n%40dimap.ufrn.br.