Lógica para Computação - Turmas S71 e S73 - 2009.1
De Wiki DAINF
(Diferença entre revisões)
(→Engenharia de Computação (S71)) |
|||
Linha 20: | Linha 20: | ||
== Material para os Trabalhos == | == Material para os Trabalhos == | ||
− | # | + | |
− | # | + | # Axiomatização |
+ | # Dedução Natural | ||
# Tablôs Analíticos | # Tablôs Analíticos | ||
+ | # Tablôs KE | ||
+ | # Formas Normais | ||
+ | # Resolução Proposicional | ||
+ | # Substituição | ||
+ | # Lógicas Não Clássicas | ||
+ | # Ontologias | ||
+ | # Provadores de Teoremas | ||
+ | # Programação em Lógica | ||
+ | # Uma linguagem de Especificação | ||
+ | # Um provador de teoremas | ||
+ | # Ontologias e Web Semântica (com lógicas de descrição) | ||
+ | #* [http://www.eci.ufmg.br/mba/onto_frames/index.htm Tutorial básico do Protege] | ||
# 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 11h07min de 13 de março de 2009
Assuntos e Equipes
Engenharia de Computação (S71)
- Axiomatização: Vinícius, Daniel e André
- Dedução Natural: Alex, Liège e Danilo
- Tablôs Analíticos: Rebeca, Líria e Cristiane
- Tablôs KE: Lucas, Demétrius e Bruno
- Formas Normais: Kelvin, Dalton e Jorge
- Resolução Proposicional: Henrique P., Cibele e Amanda
- Substituição: Felipe Lisboa e equipe
- Lógicas Não Clássicas: Eduardo Bonet, Tiago e Jean
- Ontologias: Márcio, Cláudio, Henrique Rein.
- Provadores de Teoremas:
- Programação em Lógica: Augusto, Guilherme, Marlos
- Uma linguagem de Especificação: Suleiman, Rafael, Julio, Luiz
- Um provador de teoremas:
- Ontologias e Web Semântica (com lógicas de descrição): Marcos, André, Maurício
Material para os Trabalhos
- Axiomatização
- Dedução Natural
- Tablôs Analíticos
- Tablôs KE
- Formas Normais
- Resolução Proposicional
- Substituição
- Lógicas Não Clássicas
- Ontologias
- Provadores de Teoremas
- Programação em Lógica
- Uma linguagem de Especificação
- Um provador de teoremas
- Ontologias e Web Semântica (com lógicas de descrição)
- A lógica paraconsistente <math>C_1</math>, de Newton da Costa