CV Lattes
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas (IFCH) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui bacharelado em Engenharia de Computação pela Universidade Estadual de Campinas (2004), bacharelado em Matemática pela Universidade Estadual de Campinas (2007) e mestrado em Filosofia pela Universidade Estadual de Campinas (2009). Tem experiência na área de Filosofia, com ênfase em Lógica, e na área de Matemática, com ênfase em Combinatória e Lógica Matemática. (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 obra de George Boole, fundadora da lógica contemporânea, não separa métodos de análise matemática, de métodos lógicos propriamente ditos. Se, por um lado, a falta de fronteiras metodológicas nítidas tem-lhe valido azedas críticas, por outro lado fazem da obra de Boole uma verdadeira síntese do pensamento formal, herdada de Aristóteles, Leibniz, Newton e dos analistas a partir do século …
Neste projeto estamos interessados em investigar técnicas de Algoritmos de Aproximação e o Problema de Projeto de Redes com Restrições de Conectividade (SNDP - Survivable NetWork Design Problems). Nosso interesse será focado em estratégias recentes desenvolvidas na área de algoritmos de aproximação e em técnicas aplicadas ao problema de projeto de redes com restrição de conectividade (SND…
Este projeto visa proporcionar a aquisição de conceitos e técnicas importantes, iniciando com a familiarização do estudante com as noções básicas, os princípios e os métodos da análise funcional e suas aplicações, e encerrando com um contato com um assunto de pesquisa, ortogonalidade em espaços normados. (AU)
| 3 | Bolsas no país concluídas |
| Processos vinculados | |