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
9. Ontologias: Márcio, Cláudio, Henrique Rein.
10. Provadores de Teoremas:
11. Programação em Lógica: Augusto, Guilherme, Marlos
12. Uma linguagem de Especificação: Suleiman, Rafael, Julio, Luiz
13. Um provador de teoremas:
14. Ontologias e Web Semântica (com lógicas de descrição): Marcos, André, Maurício

Material para os Trabalhos

1. Axiomatização
   • pp.33-41 de Lógica para Computação
2. Dedução Natural
   • pp.41-48 de Lógica para Computação
3. Tablôs Analíticos
   • pp. 48-56 de Lógica para Computação
4. Tablôs KE
5. Formas Normais
6. Resolução Proposicional
7. Substituição
8. Lógicas Não Clássicas
9. Ontologias
10. Provadores de Teoremas
11. Programação em Lógica
12. Uma linguagem de Especificação
13. Um provador de teoremas
14. Ontologias e Web Semântica (com lógicas de descrição)
    • Tutorial básico do Protege
15. A lógica paraconsistente <math>C_1</math>, de Newton da Costa
    • Dissertação de Mestrado de Arthur Buchsbaum
    • Logics of Formal Inconsistency