Seminários do Grupo de Lógica Matemática da UFF - 2012.1

• 6/3/2012
  Redução ao Absurdo e métodos de prova I,
  por Petrucio Viana, UFF.
  
  
• 13/3/2012
  Por motivos de "espaço menor", o seminário do dia 13/3 foi adiado para 20/3.
  
  
• 20/3/2012
  Redução ao Absurdo e métodos de prova II,
  por Petrucio Viana, UFF.
  
  
• 27/3/2012
  Eliminando a Redução ao Absurdo I,
  por Petrucio Viana, UFF.
  
  
• 10/4/2012
  Eliminando a Redução ao Absurdo II,
  por Petrucio Viana, UFF.
  
  
• 22/5/2012
  Conexões de Galois - "a toy example",
  por Petrucio Viana, UFF.
  
  
• 29/5/2012
  Conexões de Galois - noções básicas sobre conjuntos ordenados,
  por Petrucio Viana, UFF.
  
  
• 5/6/2012
  Conexões de Galois - posets,
  por Renata de Freitas, UFF.
  
  
• 18/6/2012
  Logic in Rio, na UFF, 14h-16h
  
  
  • The Hexagon of Opposition:what it is and how to use it
    Jean-Yves Beziau, IFCS-UFRJ
    
    
  • Wittgenstein, Color and Oppositions
    Marcos Silva, IFCS-UFRJ
    
    Todos os detalhos no site da lógica carioca
    http://www.rio-logic.org/
    
  
  
• 19/6/2012
  Conexões de Galois - exemplos de ordens parciais,
  por Petrucio Viana, UFF.