Minicurso Presencial e Gratuito: Introdução à Lógica - CLE4Science “Summer School’25”
O Centro de Lógica, Epistemologia e História da Ciência (CLE) da UNICAMP promoverá, no âmbito da CLE4Science Summer School’25, o minicurso presencial e gratuito “Introdução à Lógica”, ministrado pelo Prof. Rodolfo C. Ertola-Biraben. Será fornecido certificado de participação.
Ementa Primeiras cinco aulas: Problemas dedutivos. Lógica proposicional. Fórmulas e traduções. Regras de dedução natural de Gentzen e consequência sintática.