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)
(→Descrição das Atividades)
Linha 13: Linha 13:
 
# Testes
 
# Testes
 
# Escrita do Relatório Final
 
# Escrita do Relatório Final
 +
 +
 +
== Cronograma de Atividades ==
 +
 +
* Período: Mês 1 ao mês 12.
 +
 +
 +
 +
{| class="prettytable"
 +
| <center>ATIVIDADES </center>
 +
| colspan="12" | <center>Mês</center>
 +
 +
|-
 +
| <center>1</center>
 +
| <center>2</center>
 +
| <center>3</center>
 +
| <center>4</center>
 +
| <center>5</center>
 +
| <center>6</center>
 +
| <center>7</center>
 +
| <center>8</center>
 +
| <center>9</center>
 +
| <center>10</center>
 +
| <center>11</center>
 +
| <center>12</center>
 +
 +
|-
 +
| <center>1</center>
 +
| X
 +
| X
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
 +
|-
 +
| <center>2</center>
 +
|
 +
| X
 +
| X
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
 +
|-
 +
| <center>3</center>
 +
|
 +
|
 +
| X
 +
| X
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
 +
|-
 +
| <center>4</center>
 +
|
 +
|
 +
|
 +
| X
 +
| X
 +
| X
 +
| X
 +
| X
 +
| X
 +
| X
 +
|
 +
|
 +
 +
|-
 +
| <center>5</center>
 +
|
 +
|
 +
|
 +
| X
 +
| X
 +
| X
 +
| X
 +
| X
 +
| X
 +
| X
 +
|
 +
|
 +
 +
|-
 +
| <center>6</center>
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
| X
 +
| X
 +
 +
|-
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
 +
|-
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
 +
|-
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
|
 +
 +
|}
 +
<center>'''_______________________________________ __________________________________ASSINATURA DO ORIENTADOR ASSINATURA DO ALUNO'''</center>

Edição de 11h15min de 3 de agosto de 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.


ATIVIDADES
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
_______________________________________ __________________________________ASSINATURA DO ORIENTADOR ASSINATURA DO ALUNO
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=2148"