Lógica para Computação - Turmas S71 e S73 - 2009.1

Assuntos e Equipes

Engenharia de Computação (S71)

1. Axiomatização: Vinícius, Daniel e André
2. Dedução Natural: Alex, Liège e Danilo
3. Tablôs Analíticos: Rebeca, Líria e Cristiane
4. Tablôs KE: Lucas, Demétrius e Bruno
5. Formas Normais: Kelvin, Dalton e Jorge
6. Resolução Proposicional: Henrique P., Cibele e Amanda
7. Substituição: Felipe Lisboa e equipe
8. Lógicas Não Clássicas: Eduardo Bonet, Tiago e Jean

Material para os Trabalhos

1. Ontologias e Web Semântica
   • Tutorial básico do Protege
2. Tablôs Analíticos
3. A lógica paraconsistente <math>C_1</math>, de Newton da Costa
   • Dissertação de Mestrado de Arthur Buchsbaum
   • Logics of Formal Inconsistency