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

Edição de 12h02min de 16 de março de 2009

Assuntos e Equipes

Engenharia de Computação (S71)

1. Axiomatização: Vinícius, Daniel e André
   • 24/03/2009
2. Dedução Natural: Alex, Liège e Danilo
   • 24/03/2009
3. Tablôs Analíticos: Rebeca, Líria e Cristiane
   • 25/03/2009
4. Tablôs KE: Lucas, Demétrius e Bruno
   • 25/03/2009
5. Formas Normais: Kelvin, Dalton e Jorge
   • 31/03/2009
6. Resolução Proposicional: Henrique P., Cibele e Amanda
   • 31/03/2009
7. Substituição e Unificação: Felipe Lisboa e equipe
   • 07/04/2009
8. Lógicas Não Clássicas: Eduardo Bonet, Tiago e Jean
   • 07/04/2009
9. Ontologias: Márcio, Cláudio, Henrique Rein.
   • 08/04/2009
10. Programação em Lógica: Augusto, Guilherme, Marlos
    • 08/04/2009
11. Uma linguagem de Especificação: Suleiman, Rafael, Julio, Luiz
    • 14/04/2009
12. Ontologias e Web Semântica (com lógicas de descrição): Marcos, André, Maurício
    • 14/04/2009

Bacharelado em Sistemas de Informação (S73)

1. Axiomatização: Lucas Campos Silva, Marcelo Butzke Leopoldino, Isaac Toyoshi Takiguchi Jr.
   • 25/03/2009
2. Dedução Natural: Rubens Carlos Meggetto Junior, Estevan Frederico Pasquetta Jantsk, Thomaz Teodorovicz
   • 25/03/2009
3. Tablôs Analíticos: Daniel Felipe Warkentin, Raul Vitor Tessaro Esteves
   • 01/04/2009
4. Tablôs KE: Cristiano De Oliveira Viana Correia, Jonatas Da Luz, Luan Nestor Vageti Aruquipa
   • 01/04/2009
5. Formas Normais: Emerson Shigueo Sugimoto, Rodrigo Cirino De Andrade, Vagner Vengue
   • 08/04/2009
6. Resolução Proposicional: Ana Paula Ferreira, Fernando Bozza, Vanessa Maria Da Silva
   • 08/04/2009
7. Substituição e Unificação: Bruno Milczewski, Mario Sergio Esperanca Silva, Thiago Vinicius Pereira
   • 15/04/2009
8. Lógicas Não Clássicas: Andressa Caroline Portes Da Cunha, Melina Deraldo Dos Santos, Thays Boiko
   • 15/04/2009
9. Ontologias:
   • 17/04/2009
10. Provadores de Teoremas: Andrei Magaievski, Andre Luiz De Lacerda, Ricardo Trizzolini Piekarski
    • 17/04/2009
11. Programação em Lógica: Andre Hoeldtke Castro, Rafael Oliveira Tavares Pinto, Vinicius Andreatta
    • 22/04/2009
12. Uma linguagem de Especificação: Bruna Pereira Segan, Leticia Ueda, Kelly Cristina Schultz
    • 22/04/2009
13. Um provador de teoremas: Eduardo Carvalho Zanello, Gregorio Ivanchechen De Mattos, Pablo Kravicz
    • 24/04/2009
14. Ontologias e Web Semântica (com lógicas de descrição): Fernando Hiroshi Suemitsu, Bruno Guilherme Andretta De Miranda, Matheus Alves De Souza
    • 24/04/2009
15. Uma linguagem de Especificação: Ana Cristina Da Silva, Carlos Henrique De Paula
    • 29/04/2009

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