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
   • Tese de Doutorado do professor Adolfo Neto
5. Formas Normais
   • pp. 77-88 de Lógica para Computação
6. Resolução Proposicional
   • pp. 88-92 de Lógica para Computação
   • Princípio da Resolução
7. Substituição
8. Lógicas Não Clássicas
   • Introdução
   • A lógica paraconsistente <math>C_1</math>, de Newton da Costa
     • Dissertação de Mestrado de Arthur Buchsbaum
     • Logics of Formal Inconsistency
9. Ontologias
   • Procurar Ademir Freddo e pedir material em português
10. Provadores de Teoremas
    • Prova automática de teoremas
    • Automated theorem proving
11. Programação em Lógica
12. Uma linguagem de Especificação
    • Escolher entre Z, VDM e Alloy (ou propor outra)
13. Um provador de teoremas
    • Escolher entre Otter, Isabelle ou KEMS (ou propor outro)
14. Ontologias e Web Semântica (com lógicas de descrição)
    • Tutorial básico do Protege