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 e Unificaçã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

Bacharelado em Sistemas de Informação (S73)

1. Axiomatização:
2. Dedução Natural:
3. Tablôs Analíticos:
4. Tablôs KE:
5. Formas Normais:
6. Resolução Proposicional:
7. Substituição e Unificaçã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):

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 e Unificação
   • Unificaçã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
    • Procurar no livro "Lógica para Ciência da Computação"
    • Procurar "prolog" no Google
    • Prolog
12. Uma linguagem de Especificação
    • Escolher entre Z, VDM e Alloy (ou propor outra)
13. Um provador de teoremas
    • Escolher entre Otter, Isabelle, Lotrec, zChaff ou KEMS (ou propor outro)
14. Ontologias e Web Semântica (com lógicas de descrição)
    • Tutorial básico do Protege

Avaliação

1. Apresentação
   1. Domínio do conteúdo
2. Entrada no wiki (ou post em blog)
3. Parte escrita
4. Slides da apresentação
5. Participação no debate