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

De Wiki DAINF
Edição feita às 18h36min de 1 de junho de 2009 por Adolfo (disc | contribs)

Informações sobre o oferecimento da disciplina Lógica para Computação em 2009.1.

Tabela de conteúdo

Projeto Integrado - Turma S73

Orientações

Estrutura do Trabalho

Usar o formato descrito em www.utfpr.edu.br/documentos/normas_trabalhos_utfpr.pdf

A estrutura da monografia pode ser algo como:

CAPÍTULO 1
  • Tema
  • Objeto
  • Objetivo Geral
  • Objetivos Específicos
  • Justificativa
  • Metodologia empregada
CAPÍTULO 2 (pode ser simplicado se for o caso)
  • Revisão Bibliográfica com o estado da arte

sobre o tema/problema a ser resolvido e/ou descrição detalhada do ambiente de negócios focalizado, mostrando a situação ATUAL da empresa e como ela seria beneficiada com a implantação do SISTEMA INFORMACIONAL proposto

ESPECIFICAÇÃO INFORMAL:

  • Descrição detalhada do problema
  • DFDs
    • DFD de nível 0 (geral)
    • DFDs de nível 1 (processo por processo)
  • Descrição informal de cada processo
  • Revisão Bibliográfica com o estado da arte

sobre as ferramentas/técnicas/metodologias já existentes e as suas falhas/desvantagens e perspectivas


CAPÍTULO 3 (pode ser simplificado segundo o caso )

  • )Especificação do Sistema Desenvolvido

Utilizando a Metodologia de Análise e Projeto apropriada. Especificação Formal: ...

Para Orientação a Objetos: -) Explicitação de Requisitos Funcionais e Não Funcionais -) Diagrama de Casos de Uso com Contratos e Testes correspondentes -) Diagramas de Seqüência -) Diagramas de Estados (caso necessário) -) Diagramas de Colaboração -) Diagrama de Classes (pode ser entregue em formato A3) incluindo o diagrama lógico da opção de persistência adotada (estrutura de arquivos, MER e/ou Framework de Persistência/XML etc.); explicitação dos pacotes nos quais a aplicação foi distribuída; explicitação dos padrões de projeto porventura utilizados; dicionário de dados explicitando as notações utilizadas

CAPÍTULO 4

  • ) Ao menos um (1) exemplo completo de utilização

passo-a-passo do sistema que permita verificar a correspondência das especificações e testes descritos no item anterior

  • ) Resultados atingidos (descrições das condições experimentais

e estudo das distribuições estatísticas dos resultados, quando aplicável). No caso de Sistemas de Informação descriçãop do ambiente de uso e/ou cenário de implantação

  • ) (SE FOR O CASO) Análise qualitativa/quantitativa dos resultados atingidos

e comparação dos mesmos com outras implementações/técnicas semelhantes e/ou análogas

CAPÍTULO 5

  • ) Conclusões e trabalhos futuros
  • ) Referências Bibliográficas

APÊNDICES (se houver)

  • ) Documentação do código
  • ) Resultados adicionais quando existentes
  • ) etc.

ANEXOS (se houver)

  • ) Documentação de ferramentas/pacotes etc.

utilizados durante o trabalho

Equipes

  1. Lucas Campos Silva, Marcelo Butzke Leopoldino, Isaac Toyoshi Takiguchi Jr.
  2. Rubens Carlos Meggetto Junior, Estevan Frederico Pasquetta Jantsk, Thomaz Teodorovicz
  3. Daniel Felipe Warkentin(*), Raul Vitor Tessaro Esteves
  4. Cristiano De Oliveira Viana Correia, Jonatas Da Luz, Luan Nestor Vageti Aruquipa
  5. Emerson Shigueo Sugimoto, Rodrigo Cirino De Andrade, Vagner Vengue
  6. Ana Paula Ferreira(*), Fernando Bozza, Vanessa Maria Da Silva
  7. Bruno Milczewski, Mario Sergio Esperanca Silva, Thiago Vinicius Pereira
  8. Andressa Caroline Portes Da Cunha, Melina Deraldo Dos Santos, Thays Boiko
  9. Fernando Hiroshi Suemitsu, Bruno Guilherme Andretta De Miranda, Matheus Alves De Souza
  10. Andrei Magaievski, Andre Luiz De Lacerda, Ricardo Trizzolini Piekarski
  11. Andre Hoeldtke Castro, Rafael Oliveira Tavares Pinto, Vinicius Andreatta
  12. Bruna Pereira Segan, Leticia Ueda, Kelly Cristina Schultz
  13. Eduardo Carvalho Zanello, Gregorio Ivanchechen De Mattos, Pablo Kravicz, Ana Cristina Da Silva

(*) significa que em Lógica para Computação já estão reprovados por falta.

Assuntos e Equipes das Apresentações

Engenharia de Computação (S71)

  1. Axiomatização: Vinícius, Daniel e André
    • 24/03/2009
    • Equipe debatedora: 12
  2. Dedução Natural: Alexandre, Liège e Danilo
    • 24/03/2009
    • Equipe debatedora: 11
  3. Tablôs Analíticos: Rebeca, Líria e Cristiane
    • 25/03/2009
    • Equipe debatedora: 10
  4. Tablôs KE: Lucas, Demétrius e João
    • 25/03/2009
    • Equipe debatedora: 9
  5. Formas Normais: Kelvin, Dalton e Jorge
    • 31/03/2009
    • Equipe debatedora: 8
  6. Resolução Proposicional: Henrique P., Cibele e Amanda
    • 01/04/2009
    • Equipe debatedora: 7
  7. Substituição e Unificação: Felipe Lisboa, Victor Perales e Bruno Bellucci
    • 15/04/2009
    • Equipe debatedora: 1
  8. Lógicas Não Clássicas: Eduardo Bonet, Tiago e Jean
    • 28/04/2009
    • Equipe debatedora: 14
  9. Ontologias: Márcio, Cláudio, Henrique Rein.
    • 05/05/2009
    • Equipe debatedora: 13
  10. Programação em Lógica: Augusto, Guilherme, Marlon Bill
    • 06/05/2009
    • Equipe debatedora: 5
  11. Z, uma linguagem de Especificação: Suleiman, Rafael, Julio, Luiz
    • 12/05/2009
    • Equipe debatedora: 4
  12. Ontologias e Web Semântica (com lógicas de descrição): Marcos, André, Maurício
    • 13/05/2009
    • Equipe debatedora: 3
  13. VDM-SL, uma linguagem de especificação: Fabio César, Eduardo Rachid e Cleverson
    • 19/05/2009
    • Equipe debatedora: 6
  14. Provador de teorema - Otter: André Luiz, Gionatta e Pedro.
    • 20/05/2009
    • Equipe debatedora: 2

Bacharelado em Sistemas de Informação (S73)

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

Material para os Trabalhos

  1. Axiomatização
    • pp.33-41 de Lógica para Computação
  2. Dedução Natural
  3. Tablôs Analíticos
  4. Tablôs KE
  5. Formas Normais
    • pp. 77-88 de Lógica para Computação
  6. Resolução Proposicional
  7. Substituição e Unificação
  8. Lógicas Não Clássicas
  9. Ontologias
    • Procurar Ademir Freddo e pedir material em português
  10. Provadores de Teoremas
  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
  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)

Regras

Forma de entrega

Os arquivos referentes aos itens abaixo deverão ser entregues/enviados pelo sistema de EAD do DAINF.

Apresentação

Cada apresentação consistirá de:

  1. uma equipe (a equipe apresentadora) apresentando o assunto (usando slides, quadro 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

Resolução dos Exercícios

  • Para aquelas equipes cujo assunto está no livro "Lógica para Computação", será exigida também a entrega (em formato digital) da resolução completa dos exercícios do livro referentes ao assunto.

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.

Observações importantes:

  • procure começar sua apresentação com um exemplo, que deverá ser retomado após a apresentação das bases formais;
  • os slides devem ser numerados.

Critérios de Avaliação

  1. Apresentação (peso 2)
    • Domínio do conteúdo
    • Capacidade de expressão
  2. Parte escrita (peso 3)
    • Conteúdo
    • Qualidade do texto
    • Originalidade
    • Concordância com as normas ABNT
  3. Resolução dos exercícios (peso 1)
    • Correção das respostas
  4. Entrada no wiki do DAINF (peso 1)
    • Conteúdo
    • Qualidade do texto
    • Originalidade
    • Concordância com as normas Wiki
  5. Slides da apresentação (peso 1)
    • Legibilidade
    • Citação de referências
      • Todo slide que contiver material (figura, texto, etc) que não tenha sido desenvolvido pela equipe, deverá conter, na parte inferior da página, em fonte pequena, a referência: "Fonte: (REFERÊNCIA ESTILO ABNT)." Por exemplo, se alguém usar a foto de Hal Abelson obtida da Wikipedia, deverá citar da seguinte forma: "Fonte: WIKIPEDIA. Hal Abelson. Disponível em:<http://en.wikipedia.org/wiki/Hal_Abelson>. Acesso em: 23 mar. 2009."
  6. Participação no debate (peso 2): 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
Obtida de "http://dainf.ct.utfpr.edu.br/wiki/index.php?title=L%C3%B3gica_para_Computa%C3%A7%C3%A3o_-_Turmas_S71_e_S73_-_2009.1&oldid=1746"
Ferramentas pessoais