Lógica para Computação - Turmas S71 e S73 - 2009.1
De Wiki DAINF
(Diferença entre revisões)
Linha 2: | Linha 2: | ||
# 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