Com muito orgulho, divulgo a notícia de que o trabalho de João Mendes, "Uma Análise do Aprendizado de Lógica em um Curso de Computação Baseada em Evidências Coletadas de uma Plataforma de Ensino", foi escolhido como um dos Trabalhos de Destaque durante o VI Simpósio Brasileiro de Educação em Computação (EduComp 2026): https://ufrn.br/imprensa/noticias/102656/curso-de-ciencia-da-computacao-tem-tcc-agraciado-com-mencao-honrosa
Parabéns!! %%% Colegas interessados no tema do uso de ferramentas computacionais para o ensino de Lógica podem querer conferir também este outro artigo de João Mendes: A method for the automated generation of proof exercises with comparable levels of proving complexity https://arxiv.org/abs/2603.07322 %%% João Marcos -- https://sites.google.com/site/sequiturquodlibet/ -- 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 ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li_zczBUVRZQy-QyWBfL2SVjp%2BJgWCxBUwfNi5FoRAM4w%40mail.gmail.com.
