| Prezados Colegas, Nesta próxima quarta-feira, 30/09, teremos o Seminário de Lógica, a ser apresentado pelos mestrandos Dante Cardoso Pinto de Almeida e Roberto Guilherme Dumaresq Junior (IFCH-CLE / UNICAMP).
Título: Uma Abordagem Pictográfica da Lógica Proposicional Clássica. Resumo: Partindo dos ideogramas usados por Peirce (x-slash) e McCulloch (x-dot) para descrever valorações da Lógica Proposicional, investigamos as vantagens e desvantagens de uma abordagem pictográfica da semântica. Abordaremos as relações entre este sistema pictográfico e a álgebra booleana e discutiremos os limites desta abordagem mostrando sua expansão para três variáveis e valorações ternárias. |
Local: Sala 208 - CLE - UNICAMP
Horário: 16:00h.
Atenciosamente,
Luiz Henrique.
Nenhum comentário:
Postar um comentário