segunda-feira, 28 de setembro de 2009

Uma Abordagem Pictográfica da Lógica Proposicional Clássica - Seminário - CLE - UNICAMP


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: