[Logica-l] Ferramentas de Ensino: NADIA e ANITA

Olá colegas, No final do semestre passado gravei alguns vídeos na playlist do Youtube sobre as ferramentas de ensino que tenho utilizado nas disciplinas de Lógica para Computação do Campus de Quixadá, juntamente com a

Re: [Logica-l] Ferramentas de Ensino: NADIA e ANITA

Bom dia, Davi, Muito bom! Parabéns! Acho que seria uma boa ideia adicionar esse material na página da SBL: https://sbl.org.br/pmwiki.php/Main/Ensino Se você achar que é uma boa, por favor, preencha o formulário:

Re: [Logica-l] Coluna sobre IA no Rádio

Saiu a segunda coluna. Links em https://adolfon.substack.com/p/coluna-de-marcelo-finger-sobre-inteligencia?sd=pf On Fri, Aug 4, 2023 at 4:04 PM Adolfo Neto wrote: > Saiu a primeira coluna! > > Bem vindo ao mundo dos podcasts, Marcelo! > >

[Logica-l] [CfA Deadline approaching] New Perspectives on Anomalies in the Sciences

Workshop: New Perspectives on Anomalies in the Sciences EXTENDED DEADLINE for submissions: August 15, 2023. Notification of acceptance: August 20, 2023. Conference dates: October 5 and 6, 2023. Location: Instituto de Filosofia e Ciências Sociais - IFCS/UFRJ Federal University of Rio de Janeiro,

[Logica-l] Fwd: [Agda] Postdoc position, Logic and Semantics Group in Tallinn

Forwarded Message Subject: [Agda] Postdoc position, Logic and Semantics Group in Tallinn Date: Fri, 11 Aug 2023 12:49:31 +0300 From: Tarmo Uustalu To: a...@lists.chalmers.se The Logic and Semantics Group at the Tallinn University of Technology is seeking an aspiring