CV Lattes
Universidade Estadual Paulista (UNESP). Campus de Bauru. Faculdade de Ciências (FC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Graduada em Licenciatura Plena em Matemática pela Universidade Estadual Paulista-UNESP- campus de Bauru. Mestre em Filosofia pelo Programa de Pós-Graduação em Filosofia- UNESP- campus Marília. Participou, de 2011 a 2018, do Grupo de Pesquisa em Sistemas Adaptativos, Lógica e Computação Inteligente (SALCI), o que possibilitou o desenvolvimento de estudos nas seguintes áreas: lógica matemática não-clássica, linguagens formais-semântica, método de tableaux analíticos, quantificadores generalizados e lógicas moduladas. Atualmente, é professora de matemática na rede municipal de Uberlândia/MG. (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) |
A utilização de métodos dedutivos alternativos ao axiomático tem sido de grande interesse para a Teoria da Prova e para a Teoria da Computação, sendo esta última caracterizada, por exemplo, pela busca por métodos mais adequados para implementações em computadores. Dentre estes métodos, destacamos o método de Tableaux analíticos introduzidos por Smullyan em 1968. Os sistemas lógicos em Tab…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |