[Logica-l] WoLLIC -- day 3

2022-09-21 Por tôpico Elaine Pimentel
Dear All, Please find below information on how to connect for Day 3. We start at 9am local time, so make sure you join a few minutes earlier. This is a reminder that you are welcome to address questions in the Chat window during the Q questions and the chair will read them out loud. In case of

[Logica-l] [OFF TOPIC} Ajuda com OpenAI e Dall-e

2022-09-21 Por tôpico Walter Carnielli
Pessoal, agradeço ao João Marcos que nos sugeriu usar Dall-e para criar figuras e desenhos , com o que temos interesse em criar um jogo tipo "Pensamento Crítico" (um projeto um pouco ambicioso). Contudo, ao tentar entrar, fui colocado numa "waiting list", e já vi que é enroladíssimo, com

[Logica-l] Fwd: [CfPart / Reminder] Proofs, computation and meaning II (28 September, online)

2022-09-21 Por tôpico Joao Marcos
-- Forwarded message - From: Luca Tranchini Call For Participation: Online Workshop Series "Proofs, Computation and Meaning" Online events: September 7, September 28 and December 7, 2022 *** This online

[Logica-l] Fwd: A Verdadeira História do Duelo de Évariste Galois

2022-09-21 Por tôpico Mario Roberto Folhadela Benevides
-- Forwarded message - Date: qui., 15 de set. de 2022 às 19:59 Subject: A Verdadeira História do Duelo de Évariste Galois To: Professores im Espero que gostem: https://www.youtube.com/watch?v=MllKbhHJ73s Felipe Acker Professor Titular coordenador do curso de Matemática