Apenas um aviso: semana passada não teve encontro. O primeiro será essa sexta às 10h e totalmente virtual. Para participar preencham o formulário e enviaremos o link da reunião no dia anterior ao encontro. forms.gle/y78NnUEYifg8mP…
Saudações, pessoal! Estamos de volta. 💫🌈 Esse semestre retomaremos as atividades com um grupo de leitura do volume ``Logical Foundations´´ da série de livros Software Foundations. O grupo funcionará como uma Introdução ao Coq. +
Iniciativa super bacana para quem tem colaborações sobre material de ensino de lógica em português! Vários tipos de materiais são aceitos, gente, só enviem! :)
Sabem que dia é hoje? Não é só o Equinócio, não! É o II Dia Carol Blasio por Diversidade na Lógica - 2023!! Confira o que planejamos para celebrá-la, e participe do projeto sobre ensino de lógica! logicasbrasileiras.wordpress.com/ii-dia-carol-b…… #MulheresNaLógica #Diversidade #8M
Sabem que dia é hoje? Não é só o Equinócio, não! É o II Dia Carol Blasio por Diversidade na Lógica - 2023!! Confira o que planejamos para celebrá-la, e participe do projeto sobre ensino de lógica! logicasbrasileiras.wordpress.com/ii-dia-carol-b…… #MulheresNaLógica #Diversidade #8M
Durante o RecFil teremos a programação de eventos satélites, ocorrendo de modo integrado. Um dos eventos na nossa programação é o Workshop da SBFA. Serão dois encontros temáticos com aquelas e aqueles que formam hoje a Diretoria da SBFA (Gestão 2023-2024).
Saudações, pessoal! Estamos de volta. 💫🌈 Esse semestre retomaremos as atividades com um grupo de leitura do volume ``Logical Foundations´´ da série de livros Software Foundations. O grupo funcionará como uma Introdução ao Coq. +
🎉👏🪅Congrats to Evelyn!!🪅👏🎉 Winner of this year's CAPES award (doctoral dissertation). She worked under the supervision of Daniel Durante ^ @olehjortland. Her dissertation is titled "Rational theory revision in logic: beyond abductivism" here: repositorio.ufrn.br/handle/1234567…
O prêmio CAPES de Tese de Doutorado em Filosofia deste ano foi para Evelyn Erickson, orientada por Daniel Durante (e co-orientada por Ole Hjortland) in.gov.br/en/web/dou/-/e…
These are the 20 countries that together account for more than 90% of all Sci_Hub downloads worldwide made in the last month. #Sci_Hub
Get excited, the Summer of Math Exposition #2 is on! summerofmathexposition.substack.com/p/the-summer-o… As part of it, we've set up a space to help coordinate collaborations between domain experts (profs, teachers, etc) and content creators (animators, developers, artists, etc). (Short 🧵 on details)
Saudações, humanos! 🌄 O formulário ficará aberto até segunda (08/08) e na quarta-feira teremos novas informações!
QUERIDOS TERRESTRES! Nesse semestre (2° de 2022), faremos um grupo de estudos, mas o tema ainda está em aberto e cabe a vocês decidirem. O formulário está no nosso linktree (linktr.ee/glm.unicamp), mas vamos fazer uma enquete aqui também! O que preferem?
QUERIDOS TERRESTRES! Nesse semestre (2° de 2022), faremos um grupo de estudos, mas o tema ainda está em aberto e cabe a vocês decidirem. O formulário está no nosso linktree (linktr.ee/glm.unicamp), mas vamos fazer uma enquete aqui também! O que preferem?
Olá, viventes! Anunciamos também no Instagram sobre os grupos de estudos! instagram.com/p/Cgr3uSAJBuJ/…
instagram.com
Lógica, Filosofia e Matemática (@glm.unicamp) • Instagram photos and videos
Lógica, Filosofia e Matemática (@glm.unicamp) • Instagram photos and videos
Bom dia, alecrins dourados 🌞 (educades respondem)
United States 趨勢
- 1. Chiefs 81.7K posts
- 2. Eagles 115K posts
- 3. Broncos 59.2K posts
- 4. Dan Campbell 4,246 posts
- 5. Lions 52.2K posts
- 6. Jalen 24.7K posts
- 7. Shedeur 45.1K posts
- 8. Browns 46.9K posts
- 9. Mahomes 22.5K posts
- 10. Jameson Williams 1,860 posts
- 11. Jamo 3,490 posts
- 12. Ravens 47.4K posts
- 13. Gabriel 65.5K posts
- 14. Kevin Patullo 2,904 posts
- 15. Bo Nix 12.1K posts
- 16. Rams 27.8K posts
- 17. Sam Darnold 11.8K posts
- 18. Goff 4,771 posts
- 19. #OnePride 3,458 posts
- 20. Adoree Jackson N/A
Something went wrong.
Something went wrong.