Introdução à lógica: CLE recebe inscrições para minicurso gratuito 

O Centro de Lógica, Epistemologia e História da Ciência (CLE) recebe, até 26 de março, as inscrições para o minicurso  presencial e gratuito “Introdução à Lógica”. 

O minicurso será ministrado pelo professor Rodolfo Cristian Ertola Biraben, pesquisador do CLE, de 27 de março a 15 de abril, às terças e quintas-feiras, das 19h30 às 21h30, na sala Kurt Gödel, localizada no 1º andar do CLE. Aos sábados, o minicurso ocorre, das 10h às 12h.

Interessados em se inscrever, devem enviar 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 e uma breve apresentação sobre seu interesse no curso.

Ementa das 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 e 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 e exercícios.

Para outros detalhes, escreva para o e-mail rcertola@unicamp.br
(Hélio Costa Júnior)
Edição de imagens: Paulo Cavalheri