Parabéns, João! Abraços,
Rafael Ongaratto PhD student Centre for Logic, Epistemology and the History of Science (CLE) Universidade Estadual de Campinas (UNICAMP) On Wed, Jun 24, 2026, 3:17 AM Joao Marcos <[email protected]> wrote: > 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 > . > -- 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/CAB-GWhqMtQ9WpZceRs6y9zv_VqbJy27KW0ygx1nHW6QHncDH6A%40mail.gmail.com.
