Lógica para Computação - Turmas S71 e S73 - 2009.1
De Wiki DAINF
Tabela de conteúdo |
Assuntos e Equipes
Engenharia de Computação (S71)
- 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 João
- 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
- Um provador de teoremas ou uma linguagem de especificação: Fabio César, Eduardo (não Bonet) e Cleverson
- 15/04/2009
- Equipe debatedora: A DEFINIR (os outros também)
Bacharelado em Sistemas de Informação (S73)
- Axiomatização: Lucas Campos Silva, Marcelo Butzke Leopoldino, Isaac Toyoshi Takiguchi Jr.
- 25/03/2009
- Equipe debatedora: 14
- Dedução Natural: Rubens Carlos Meggetto Junior, Estevan Frederico Pasquetta Jantsk, Thomaz Teodorovicz
- 25/03/2009
- Equipe debatedora: 13
- Tablôs Analíticos: Daniel Felipe Warkentin, Raul Vitor Tessaro Esteves
- 01/04/2009
- Equipe debatedora: 12
- Tablôs KE: Cristiano De Oliveira Viana Correia, Jonatas Da Luz, Luan Nestor Vageti Aruquipa
- 01/04/2009
- Equipe debatedora: 11
- Formas Normais: Emerson Shigueo Sugimoto, Rodrigo Cirino De Andrade, Vagner Vengue
- 08/04/2009
- Equipe debatedora: 10
- Resolução Proposicional: Ana Paula Ferreira, Fernando Bozza, Vanessa Maria Da Silva
- 08/04/2009
- Equipe debatedora: 9
- Substituição e Unificação: Bruno Milczewski, Mario Sergio Esperanca Silva, Thiago Vinicius Pereira
- 15/04/2009
- Equipe debatedora: 1
- Lógicas Não Clássicas: Andressa Caroline Portes Da Cunha, Melina Deraldo Dos Santos, Thays Boiko
- 15/04/2009
- Equipe debatedora: 2
- Ontologias: Fernando Hiroshi Suemitsu, Bruno Guilherme Andretta De Miranda, Matheus Alves De Souza
- 17/04/2009
- Equipe debatedora: 3
- Provadores de Teoremas: Andrei Magaievski, Andre Luiz De Lacerda, Ricardo Trizzolini Piekarski
- 17/04/2009
- Equipe debatedora: 4
- Programação em Lógica: Andre Hoeldtke Castro, Rafael Oliveira Tavares Pinto, Vinicius Andreatta
- 22/04/2009
- Equipe debatedora: 8
- Uma linguagem de Especificação: Bruna Pereira Segan, Leticia Ueda, Kelly Cristina Schultz
- 22/04/2009
- Equipe debatedora: 7
- Um provador de teoremas: Eduardo Carvalho Zanello, Gregorio Ivanchechen De Mattos, Pablo Kravicz
- 24/04/2009
- Equipe debatedora: 6
- Uma linguagem de Especificação: Ana Cristina Da Silva, Carlos Henrique De Paula
- 24/04/2009
- Equipe debatedora: 5
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 Semânticos no Wikibooks
- 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ção
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.
Parte Escrita
- Tamanho: entre 5 e 10 páginas
- Usar o modelo para publicação de artigos da SBC mas, para as referências, seguir o padrão ABNT que pode ser encontrado nas NORMAS PARA ELABORAÇÃO DE TRABALHOS ACADÊMICOS da UTFPR
- A parte escrita é preparada exclusivamente pela equipe apresentadora e deverá ser entregue uma semana antes da apresentação para o professor e para a equipe debatedora.
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
- Apresentação
- Domínio do conteúdo
- Capacidade de expressã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