CV Lattes
Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Graduando em Engenharia de Computação da Universidade Estadual de Campinas. Tem experiência na área de Filosofia, com ênfase em Lógica. Realizou iniciação científica sob orientação do Prof. Dr. Walter Alexandre Carnielli, num projeto intitulado "Aspectos lógicos e computacionais do método de demonstrações via polinômios formais", financiado pela FAPESP. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
"Polinomização" é um termo que descreve o uso de representações polinomiais como estratégia de raciocínio e como ferramenta de demonstração com interesse heurístico. Pretendemos desenvolver uma aplicação do método dos polinômios proposto por W. A. Carnielli e investigado em diversos artigos acadêmicos, por meio de um software que implemente algumas de suas versões e que explicite suas pot…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |