Lógica para Computação - Turmas S71 e S73 - 2009.1
De Wiki DAINF
(Diferença entre revisões)
(→Bacharelado em Sistemas de Informação (S73)) |
(→Bacharelado em Sistemas de Informação (S73)) |
||
Linha 30: | Linha 30: | ||
=== Bacharelado em Sistemas de Informação (S73) === | === Bacharelado em Sistemas de Informação (S73) === | ||
− | # Axiomatização: | + | # Axiomatização: Lucas Campos Silva, Marcelo Butzke Leopoldino, Isaac Toyoshi Takiguchi Jr. |
#* 25/03/2009 | #* 25/03/2009 | ||
− | # Dedução Natural: | + | # Dedução Natural: Rubens Carlos Meggetto Junior, Estevan Frederico Pasquetta Jantsk, Thomaz Teodorovicz |
#* 25/03/2009 | #* 25/03/2009 | ||
− | # Tablôs Analíticos: | + | # Tablôs Analíticos: Daniel Felipe Warkentin, Raul Vitor Tessaro Esteves |
#* 01/04/2009 | #* 01/04/2009 | ||
− | # Tablôs KE: | + | # Tablôs KE: Cristiano De Oliveira Viana Correia, Jonatas Da Luz, Luan Nestor Vageti Aruquipa |
#* 01/04/2009 | #* 01/04/2009 | ||
− | # Formas Normais: | + | # Formas Normais: Emerson Shigueo Sugimoto, Rodrigo Cirino De Andrade, Vagner Vengue |
#* 08/04/2009 | #* 08/04/2009 | ||
− | # Resolução Proposicional: | + | # Resolução Proposicional: Ana Paula Ferreira, Fernando Bozza, Vanessa Maria Da Silva |
#* 08/04/2009 | #* 08/04/2009 | ||
− | # Substituição e Unificação: | + | # Substituição e Unificação: Bruno Milczewski, Mario Sergio Esperanca Silva, Thiago Vinicius Pereira |
#* 15/04/2009 | #* 15/04/2009 | ||
− | # Lógicas Não Clássicas: | + | # Lógicas Não Clássicas: Andressa Caroline Portes Da Cunha, Melina Deraldo Dos Santos, Thays Boiko |
#* 15/04/2009 | #* 15/04/2009 | ||
# Ontologias: | # Ontologias: | ||
#* 17/04/2009 | #* 17/04/2009 | ||
− | # Provadores de Teoremas: | + | # Provadores de Teoremas: Andrei Magaievski, Andre Luiz De Lacerda, Ricardo Trizzolini Piekarski |
#* 17/04/2009 | #* 17/04/2009 | ||
− | # Programação em Lógica: | + | # Programação em Lógica: Andre Hoeldtke Castro, Rafael Oliveira Tavares Pinto, Vinicius Andreatta |
#* 22/04/2009 | #* 22/04/2009 | ||
− | # Uma linguagem de Especificação: | + | # Uma linguagem de Especificação: Bruna Pereira Segan, Leticia Ueda, Kelly Cristina Schultz |
#* 22/04/2009 | #* 22/04/2009 | ||
− | # Um provador de teoremas: | + | # Um provador de teoremas: Eduardo Carvalho Zanello, Gregorio Ivanchechen De Mattos, Pablo Kravicz |
#* 24/04/2009 | #* 24/04/2009 | ||
− | # Ontologias e Web Semântica (com lógicas de descrição): | + | # 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 | #* 24/04/2009 | ||
+ | # Uma linguagem de Especificação: Ana Cristina Da Silva, Carlos Henrique De Paula | ||
+ | #* 29/04/2009 | ||
== Material para os Trabalhos == | == Material para os Trabalhos == |
Edição de 12h02min de 16 de março de 2009
Tabela de conteúdo |
Assuntos e Equipes
Engenharia de Computação (S71)
- Axiomatização: Vinícius, Daniel e André
- 24/03/2009
- Dedução Natural: Alex, Liège e Danilo
- 24/03/2009
- Tablôs Analíticos: Rebeca, Líria e Cristiane
- 25/03/2009
- Tablôs KE: Lucas, Demétrius e Bruno
- 25/03/2009
- Formas Normais: Kelvin, Dalton e Jorge
- 31/03/2009
- Resolução Proposicional: Henrique P., Cibele e Amanda
- 31/03/2009
- Substituição e Unificação: Felipe Lisboa e equipe
- 07/04/2009
- Lógicas Não Clássicas: Eduardo Bonet, Tiago e Jean
- 07/04/2009
- Ontologias: Márcio, Cláudio, Henrique Rein.
- 08/04/2009
- Programação em Lógica: Augusto, Guilherme, Marlos
- 08/04/2009
- Uma linguagem de Especificação: Suleiman, Rafael, Julio, Luiz
- 14/04/2009
- 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)
- 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:
- 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
- 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
Material para os Trabalhos
- 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
- 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
- Lógicas Não Clássicas
- Introdução
- A lógica paraconsistente <math>C_1</math>, de Newton da Costa
- Ontologias
- Procurar Ademir Freddo e pedir material em português
- Provadores de Teoremas
- 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)
- 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)
Regras
Apresentações
- Duração esperada: 20 a 30 minutos
- Duração do debate: até 15 minutos
Critérios de Avaliação
- 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 (ou post em blog)
- 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