CV Lattes
Universidade Estadual de Campinas (UNICAMP). Instituto de Matemática, Estatística e Computação Científica (IMECC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui doutorado em lógica pela Universidade Estadual de Campinas (2022). Tem experiência nas áreas de Lógica e Ciência da Computação, atuando principalmente nos seguintes temas: semânticas não-determinísticas, lógicas paraconsistentes, multiálgebras, satisfabilidade módulo teorias, combinação de teorias e teorias de modelos multissortida. Site pessoal: https://guilhermevtoledo.wordpress.com (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) |
Neste mestrado o beneficiário continuará aspectos da pesquisa encontrados no artigo "Zariski Closed Algebras in Varieties of Universal Algebra" de Belov-Kanel, Giambruno, Rowen e Vishne, referentes ao estudo de fechamentos de Zariski de álgebras representáveis sobre domínios de integridade arbitrários usando técnicas da teoria de álgebras universais. Para melhor explicar os conceitos envo…
Pretendemos nesta iniciação científica que o aluno tenha uma introdução à teoria algébrica dos números, o estudo de elementos que generalizem nossa noção de "números inteiros" por meio de estruturas algébricas. Tal estudo é justificado pela posição de vanguarda que tal disciplina vem tomando na solução dos problemas clássicos da teoria de números e pela sua força histórica. Iniciando por …
| 2 | Bolsas no país concluídas |
| Processos vinculados | |