UFPB
Série continuada de seminários com abordagem de temas de lógica na convergência entre teoria e aplicações. Tópicos interdisciplinares envolvendo matemática, filosofia e informática.
12/09/2025 Lógica e Reducionismo - Parte I
26/09/2025 Lógica e Reducionismo - Parte II
14/11/2025 O Teorema da Interpolação de Craig - Parte I
28/11/2025 O Teorema da Interpolação de Craig - Parte II
Jovens e adultos interessados em lógica
Não há fotos cadastradas para esta ação