Grupo de Lógica, Filosofia e Matemática da Unicamp
Canal do Grupo de Lógica, Filosofia e Matemática da Unicamp, criado com o intuito de compartilhar conteúdo criado pelo GLM e assim realizar uma divulgação dos conteúdos de Lógica.
Temos encontros semanais realizados via Google Meet aos domingos, sempre 16h.
Entre em contato conosco:
Instagram: @glm.unicamp
Email: [email protected]
Minicurso: Aprendizado e Conhecimento matemático na Academia de Platão - 4º Encontro
Precisamos Falar Sobre Infinitos - Parte III - Encontro regular 28/05/2020
Um pouco de História e Filosofia da Matemática
Precisamos falar sobre infinitos Parte II - Encontro Regular 31/05/2020
Precisamos falar sobre infinitos Parte I - Encontro Regular 24/05/2020
Método Axiomático (Cálculo de Hilbert)
Métodos sintáticos de prova (Tablôs semânticos)
Semânticas para Lógicas
Semântica e Lógica Proposicional Clássica
Semântica e Linguagem Proposicional
Propriedades Sintáticas do Cálculo Proposicional Clássico - Encontro Regular - 12/04/2020
Uma Linguagem para o Cálculo Proposicional Clássico - Encontro Regular - 05/04/2020
Nossa intuição é Lógica? - Encontro Regular - 29/03/2020