| Processo: | 11/22691-0 |
| Modalidade de apoio: | Bolsas no Brasil - Iniciação Científica |
| Data de Início da vigência: | 01 de março de 2012 |
| Data de Término da vigência: | 31 de julho de 2014 |
| Área de conhecimento: | Ciências Humanas - Filosofia - Lógica |
| Pesquisador responsável: | Walter Alexandre Carnielli |
| Beneficiário: | Victor Fernando Pompeo Barbosa |
| Instituição Sede: | Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil |
| Assunto(s): | Lógica matemática Cálculo proposicional Polinômios |
| Palavra(s)-Chave do Pesquisador: | ferramentas de demonstração | ferramentas para ensino de lógica | lógica proposicional clássica | sistemas algébricos de demonstração | sistemas polinomiais de demonstração | Lógica Contemporânea |
Resumo "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 potencialidades como demonstrador (provador) de teoremas e como uma ferramenta para o ensino de Lógica. | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| Mais itensMenos itens | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |