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)
(Nova página: == Descrição das Atividades == # Levantamento bibliográfico sobre implementações de provadores de teoremas para a lógica C1 # Estudo detalhado do sistema KEMS # Especificação ...) |
|||
Linha 1: | Linha 1: | ||
+ | * Projeto de Iniciação Científica | ||
+ | * Estudante (bolsista IC UTFPR): [[Emerson Shigeo Sugimoto]]. | ||
+ | * Orientador: Professor [[Adolfo Neto]]. | ||
+ | |||
== Descrição das Atividades == | == Descrição das Atividades == | ||
Edição de 11h13min de 3 de agosto de 2009
- Projeto de Iniciação Científica
- Estudante (bolsista IC UTFPR): Emerson Shigeo Sugimoto.
- Orientador: Professor Adolfo Neto.
Descrição das Atividades
- Levantamento bibliográfico sobre implementações de provadores de teoremas para a lógica C1
- Estudo detalhado do sistema KEMS
- Especificação e Projeto da Estratégia
- Implementação da Estratégia
- Testes
- Escrita do Relatório Final