CV Lattes
ResearcherID
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
Pós-Doutorado no Centro de Lógica, Epistemologia e História da Ciência CLE-UNICAMP (2015), Doutor em Matemática pela Universidade de São Paulo - USP (2000), Mestre em Matemática pela Universidade de São Paulo - USP (1989) e Possui Licenciatura Plena Em Matemática pela Universidade São Francisco (1983). Atualmente é Professor Assistente Doutor na Universidade Estadual Paulista Júlio de Mesquita Filho - UNESP e atua como professor e orientador no Programa de Pós-Graduação em Matemática em Rede Nacional PROFMAT. Tem experiência, em ensino e pesquisa, na área de Análise Matemática, com ênfase em Funções Generalizadas de Colombeau. Atualmente trabalha em Fundamentos e Lógica Matemática com ênfase em Análise Nos-Standard e Lógica algébrica. Participa dos Grupos de Pesquisa, certificados pelo CNPQ, "Sistemas Adaptativos, Lógica e Computação Inteligente" e "Lógica e Epistemologia". (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…
O projeto visa familiarizar o aluno com os fundamentos da Área de Funções Generalizadas de Colombeau. Sendo assim, serão estudados alguns tópicos fundamentais da Teoria, dentre eles: as estruturas métricas no espaço das constantes generalizadas e no espaço da funções generalizadas; o valor pontual generalizado; Diferenciabilidade no contexto das Funções Generalizadas de Colombeau
| 2 | Bolsas no país concluídas |
| Processos vinculados | |