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

Edição de 10h30min de 16 de março de 2009

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)
      • Z
        • Geração parcial de código Java a partir de especificações formais Z, Alvaro Heiji Miyazawa
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

Regras

Apresentações

• Duração esperada: 20 a 30 minutos
• Duração do debate: até 15 minutos

Critérios de Avaliação

1. Apresentação
   • Domínio do conteúdo
   • Desembaraço
2. Parte escrita
   • Conteúdo
   • Qualidade do texto
   • Originalidade
   • Concordância com as normas ABNT
3. Entrada no wiki (ou post em blog)
   • Conteúdo
   • Qualidade do texto
   • Originalidade
   • Concordância com as normas Wiki
4. Slides da apresentação
   • Legibilidade
   • Citação de referências
5. Participação no debate