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

De Wiki DAINF

(Diferença entre revisões)

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

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

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

Axiomatização
- pp.33-41 de Lógica para Computação
Dedução Natural
- pp.41-48 de Lógica para Computação
Tablôs Analíticos
- pp. 48-56 de Lógica para Computação
Tablôs KE
- Tese de Doutorado do professor Adolfo Neto
Formas Normais
- pp. 77-88 de Lógica para Computação
Resolução Proposicional
- pp. 88-92 de Lógica para Computação
- Princípio da Resolução
Substituição e Unificação
- Unificação
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
Ontologias
- Procurar Ademir Freddo e pedir material em português
Provadores de Teoremas
- Prova automática de teoremas
- Automated theorem proving
Programação em Lógica
- Procurar no livro "Lógica para Ciência da Computação"
- Procurar "prolog" no Google
- Prolog
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
Um provador de teoremas
- Escolher entre Otter, Isabelle, Lotrec, zChaff ou KEMS (ou propor outro)
Ontologias e Web Semântica (com lógicas de descrição)
- Tutorial básico do Protege

Cada apresentação consistirá de:

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
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.

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

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

Apresentação
- Domínio do conteúdo
- Desembaraço
Parte escrita
- Conteúdo
- Qualidade do texto
- Originalidade
- Concordância com as normas ABNT
Entrada no wiki do DAINF
- Conteúdo
- Qualidade do texto
- Originalidade
- Concordância com as normas Wiki
Slides da apresentação
- Legibilidade
- Citação de referências
Participação no debate: cada participante de equipe (debatedora ou apresentadora) será avaliado durante o debate de acordo com os seguintes critérios:
- participação ativa no debate
- qualidade e pertinência das perguntas feitas
- correção das respostas dadas

@@ Linha 58: / Linha 58: @@
 # Lógicas Não Clássicas: Andressa Caroline Portes Da Cunha, Melina Deraldo Dos Santos, Thays Boiko
 #* 15/04/2009
-# Ontologias:
+# Ontologias: Fernando Hiroshi Suemitsu, Bruno Guilherme Andretta De Miranda, Matheus Alves De Souza
 #* 17/04/2009
 # Provadores de Teoremas: Andrei Magaievski, Andre Luiz De Lacerda, Ricardo Trizzolini Piekarski
@@ Linha 67: / Linha 67: @@
 #* 22/04/2009
 # Um provador de teoremas: Eduardo Carvalho Zanello, Gregorio Ivanchechen De Mattos, Pablo Kravicz
-#* 24/04/2009
-# 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
 # Uma linguagem de Especificação: Ana Cristina Da Silva, Carlos Henrique De Paula
-#* 29/04/2009
+#* 24/04/2009
 == Material para os Trabalhos ==