Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia

De Wiki DAINF
(Diferença entre revisões)
(→Tarefas)
(→Tarefas)
Linha 10: Linha 10:
 
== Tarefas ==
 
== Tarefas ==
  
 +
# Leituras sobre padrões de projeto
 +
#* Elaboração de resumo sobre os padrões de projeto utilizados no [[KEMS]]
 +
#** Início: 01/09/2009
 +
#** Término previsto: 28/09/2009
 
# Página Wiki sobre [[A lógica C1 | a lógica C1]].
 
# Página Wiki sobre [[A lógica C1 | a lógica C1]].
 
#* Início: 09/09/2009
 
#* Início: 09/09/2009

Edição de 11h14min de 14 de setembro de 2009

Tabela de conteúdo

Informações

Tarefas

  1. Leituras sobre padrões de projeto
    • Elaboração de resumo sobre os padrões de projeto utilizados no KEMS
      • Início: 01/09/2009
      • Término previsto: 28/09/2009
  2. Página Wiki sobre a lógica C1.
    • Início: 09/09/2009
    • Término previsto: 26/09/2009

Descrição das Atividades

  1. Levantamento bibliográfico sobre implementações de provadores de teoremas para a lógica C1
  2. Estudo detalhado do sistema KEMS
  3. Especificação e Projeto da Estratégia
  4. Implementação da Estratégia
  5. Testes
  6. Escrita do Relatório Final

Cronograma de Atividades

  • Período: Mês 1 ao mês 12.


ATIVIDADE
Mês
1
2
3
4
5
6
7
8
9
10
11
12
1
 X X
2
 X X
3
 X X
4
 X X X X X X X
5
 X X X X X X X
6
 X X
Obtida de "http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Implementa%C3%A7%C3%A3o_de_uma_Estrat%C3%A9gia_Eficiente_para_a_L%C3%B3gica_C1_em_um_Provador_de_Teoremas_Multi-Estrat%C3%A9gia&oldid=2415"