Sem foto
Rank: 15
Caio Henrique Leonel Laurenti
Possui graduação em Matemática pela Universidade Estadual de Campinas (2018). Tem experiência na área de Matemática, tendo realizado uma iniciação científica na área de Lógica e Teoria de Conjuntos; Terminou um mestrado na área de Geomteria Semialgébrica na Universidad de Valladolid. Além disso, teve sua dissertação de mestrado aprovada na Unicamp, na área de Geometria Algébrica, e sob orientação do Prof. Dr. Marcos Benevenuto Jardim.Hoje, pesquisa autonomamente na área de lógica.
Informações Gerais
- Nome Completo: Caio Henrique Leonel Laurenti
- ID Lattes: 3257396534144745
- Categoria:
- Tipo Bolsa CNPq:
- Categoria Bolsa CNPq:
- Períodos: ['2019-2026']
- Subgrupo: discentes
- Período(s) de análise: 2019-2026
- Endereço: . . CEP - , .
Áreas de Atuação
Ciências Exatas e da Terra → Matemática → Álgebra
Formação Acadêmica
Graduação
Matemática
Universidade Estadual de Campinas
2015-2018
Mestrado
Master's in Mathematics
Universidad de Valladolid
2021-2022
Mestrado
Matemática
Universidade Estadual de Campinas
2019-2024
Atenção: As informações de produção listadas a seguir referem-se exclusivamente ao período de análise considerado no presente relatório, bem como ao período, ou períodos, em que o membro esteve na instituição. Para verificar a produção completa do membro, consulte o seu Currículo Lattes.
Produção Bibliográfica
Apresentações de Trabalho
LAURENTI, C. H. L.
Propriedades Sintáticas do Cálculo Proposicional Clássico.
2020.
[
Google
|
Google Scholar
]
LAURENTI, C. H. L.
Métodos Sintáticos de Prova (Tablôs semânticos).
2020.
[
Google
|
Google Scholar
]
LAURENTI, C. H. L.; VALADAO, H. S.
Precisamos Falar Sobre Infinitos.
2020.
[
Google
|
Google Scholar
]
Organização de eventos
LAURENTI, C. H. L.; SILVA, M. V.; OLIVEIRA, A. R.; GORITZKI, A. A.; MENEGHETTI, F. C. C.; BARROS, G. S. T.
Grupo de Lógica, Filosofia e Matemática da Unicamp (GLM).
2019.
[
Google
|
Google Scholar
]