educação lógica

[Joao Marcos]

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/

[Valeria de Paiva]

Parabens, Joao Mendes!

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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+u...@dimap.ufrn.br.
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.

[prolo]

Merecido, João.

Abraço,

Prolo

Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.

[Elaine Pimentel]

Querido João Mendes,

Parabéns pelo excelente trabalho e pelo prêmio, nada mais merecido!

Abraços,

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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+u...@dimap.ufrn.br.

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.

--

Elaine. 

-----------------------------------

Elaine Pimentel

Schools Outreach Lead

Professor of Logic and Computation

Deputy Director of the Computer Science and Philosophy programme

Programming Principles, Logic, and Verification 

Department of Computer Science, Office: Room 3.11, 66-72 Gower Street

University College London

URL: https://sites.google.com/site/elainepimentel/

UCL Computer Science is an Athena Swan Gold award winner for gender equality

UCL is ranked among the top ten in the QS World University Rankings 2024 and is winner of The Times and Sunday Times University of the Year 2024

-----------------------------------

[Gisele Dalva]

Viva!!!

Parabéns e muito obrigada por tão importante trabalho!

Abraços,

G.

Gisele D. Secco

Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br.

Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVxX-wbE3Q4Wh66-sQ0g2o-2gOx%2BeBdGO06MVwV62fLDg%40mail.gmail.com.

[Bruno Lopes]

Parabéns, JM, the second of his name!

Bruno Lopes

Associate Professor

Instituto de Computação

Universidade Federal Fluminense

http://www.ic.uff.br/~bruno

**Please do not feel any pressure to respond outside of your own regular working hours. Remember that this is supposed to be an asynchronous tool**

Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOmQKJcnNMb7eqRnSy3SXKa9EV5cQAm%2B2Mh_eW6T4DcRjSQTZA%40mail.gmail.com.

[Vitor Greati]

Parabéns, João Mendes, muito merecido!

Abraços,

Vitor

[Rafael Ongaratto]

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)

[João Mendes]

Muito obrigado pelas mensagens! E que mais trabalhos da nossa área possam ter os devidos reconhecimentos! 

Vale destacar também o trabalho de João Marcos, que foi o responsável direto pela geração de todos esses dados analisados. Como o próprio disse certa vez (https://arxiv.org/abs/1507.03673 e https://www.youtube.com/watch?v=JSTEASCbEO0), "Scientific discussions concerning education, though, cannot end at the level of intuition. We need data.". Espero que esse trabalho possa ajudar nessas discussões.

João Mendes