Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
C. Nalon Seminrio Informal (, mas formal!) UnB/IE/MAT 02/12/05 -slide #1 Formas Normais para Lgicas Modais
 

Summary: GoBack
C. Nalon Seminário Informal (, mas formal!) ­ UnB/IE/MAT ­ 02/12/05 - slide #1
Formas Normais para Lógicas Modais
Cláudia Nalon
http://www.cic.unb.br/docentes/nalon
nalon@{cic.unb.br, unb.br}
Universidade de Brasília
Instituto de Ciências Exatas
Departamento de Ciência da Computação
q Formas Normais Modais
Motivação
q Motivação ­ I
q Motivação ­ II
q Motivação ­ III
Roteiro
Lógica Proposicional
Lógica de Conhecimento
Conclusões
C. Nalon Seminário Informal (, mas formal!) ­ UnB/IE/MAT ­ 02/12/05 - slide #2
Motivação ­ I

  

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

 

Collections: Mathematics