Lógica para Computação - Turmas S71 e S73 - 2009.1
De Wiki DAINF
(Diferença entre revisões)
(→Material para os Trabalhos) |
|||
Linha 3: | Linha 3: | ||
# Ontologias e Web Semântica | # Ontologias e Web Semântica | ||
#* [http://www.eci.ufmg.br/mba/onto_frames/index.htm Tutorial básico do Protege] | #* [http://www.eci.ufmg.br/mba/onto_frames/index.htm Tutorial básico do Protege] | ||
− | # Tablôs Analíticos | + | # Tablôs Analíticos |
# A lógica paraconsistente <math>C_1</math>, de Newton da Costa | # A lógica paraconsistente <math>C_1</math>, de Newton da Costa | ||
#* [http://wwwexe.inf.ufsc.br/~arthur/publicacoes/dissertacoes/diss_Arthur.zip Dissertação de Mestrado de Arthur Buchsbaum] | #* [http://wwwexe.inf.ufsc.br/~arthur/publicacoes/dissertacoes/diss_Arthur.zip Dissertação de Mestrado de Arthur Buchsbaum] | ||
#* [ftp://logica.cle.unicamp.br/pub/e-prints/vol.5,n.1,2005-revised.pdf Logics of Formal Inconsistency] | #* [ftp://logica.cle.unicamp.br/pub/e-prints/vol.5,n.1,2005-revised.pdf Logics of Formal Inconsistency] |
Edição de 13h02min de 12 de março de 2009
Material para os Trabalhos
- Ontologias e Web Semântica
- Tablôs Analíticos
- A lógica paraconsistente <math>C_1</math>, de Newton da Costa