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
Concluiu até o sétimo semestre do curso de Licenciatura em Matemática da Faculdade de Ciências da UNESP Campus de Bauru. Foi bolsista de Iniciação Científica da Fundação de Amparo à pesquisa do Estado de São Paulo (FAPESP) de 2012 a 2014, no qual desenvolveu um projeto intitulado como: Introdução à Lógica Matemática: uma abordagem via álgebra e topologia. (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) |
O objetivo principal do projeto é estudar a lógica matemática por meio de uma abordagem utilizando álgebra, bem como estudar algumas relações entre Topologia e Lógica Matemática. Desta forma, estudaremos as álgebras de Boole e Heyting e vamos ver a conexão destas com o cálculo proposicional clássico e intuicionista, ou seja, as álgebras de Lindenbaum. É nossa intenção também, estudar a pr…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |