Lógica para Computação - Turmas S71 e S73 - 2009.1
De Wiki DAINF
(Diferença entre revisões)
(→A lógica paraconsistente C_1, de Newton da Costa) |
|||
Linha 1: | Linha 1: | ||
== Material para os Trabalhos == | == Material para os Trabalhos == | ||
− | + | # 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 === | |
− | + | # 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 13h01min 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