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

Edição de 12h18min 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ção

Cada apresentação consistirá de:

1. uma equipe (a equipe apresentadora) apresentando o assunto (usando slides, quadro branco e outros recursos que achar conveniente)
   • esta apresentação deverá durar de 20 a 30 minutos
   • todos os integrantes da equipe devem participar desta apresentação
   • todos os integrantes da equipe devem conhecer TODO o assunto
2. Depois disso, uma equipe (a equipe debatedora) deverá fazer perguntas para testar os conhecimentos da equipe apresentadora. Durante este debate (com duração de até 15 minutos), ambas as equipes serão avaliadas.

Parte Escrita

• Tamanho: entre 5 e 10 páginas
• Seguir as NORMAS PARA ELABORAÇÃO DE TRABALHOS ACADÊMICOS da UTFPR

Entrada na Wiki do DAINF

A partir da parte escrita, a equipe deverá preparar uma entrada (mini-artigo) que será publicada na Wiki do DAINF.

Slides da Apresentação

Os slides da apresentação deverão ser entregues com uma semana de antecedência.

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 do DAINF
   • 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