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.
Tabelas de verdade e consequência semântica. Noções de correção e completude. Decidibilidade. Exercícios.
Aulas seguintes: Lógica de predicados. Fórmulas e traduções. Regras de dedução natural de Gentzen e consequência sintática. Modelos e consequência semântica. Noções de correção e completude. Indecidibilidade. Exercícios. (total 9 aulas)
Docente: Rodolfo C. Ertola-Biraben
Período: 27/03 a 15/04/2025
Dias e Horários: terças e quintas-feiras das 19h30 às 21h30 e sábados das 10h às 12h.
Local: UNICAMP - CLE - Centro de Lógica, Epistemologia e História da Ciência, Sala Kurt Gödel - 1º andar
Endereço: Rua Sérgio Buarque de Holanda, 251, Cidade Universitária “Zeferino Vaz”, Barão Geraldo
✅ Como se inscrever:
Envie um e-mail para rcertola@unicamp.br com os seguintes dados:
• Nome completo
• Formação acadêmica (graduação, pós-graduação, licenciatura, bacharelado etc.)
• Telefone para contato
• Endereço
• Breve apresentação com seu interesse no curso
📍 Importante: O curso será exclusivamente presencial e ocorrerá nas instalações do CLE–Unicamp, que fica em Barão Geraldo, CAMPINAS-SP.
Não perca esta oportunidade única de aprender sobre lógica! Vagas Limitadas!
📩 Dúvidas? Entre em contato pelo e-mail rcertola@unicamp.br.
Inscrições até o dia 26 de março de 2025.
Inscrições e informações: envie um email para rcertola@unicamp.br
