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
Licenciado em Matemática pela Universidade Estadual Paulista Júlio de Mesquita Filho (2018). Durante a graduação, desenvolvi projetos na linha de pesquisa de Lógica, em particular, estudos sobre Lógicas Paraconsistentes e Teoria da Prova com bolsa FAPESP (2016 - 2018). Fui professor do Ensino Fundamental e Médio na rede privada de ensino (2019 - 2021) e na rede municipal (2022 - 2023). Atualmente sou professor do Ensino Fundamental na Secretaria da Educação do Estado de São Paulo. (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) |
Em 1986, Mikenberg et al. introduziram a noção semântica da quase-verdade definida por meio de estruturas parciais, cujos predicados são entendidos como triplas de conjuntos mutuamente disjuntos, a saber: as sequências (n-uplas) que satisfazem o predicado, as que não satisfazem e as sequências cuja satisfação ao predicado é indeterminada, ou desconhecida. Coniglio e Silvestrini, ao se dep…
A utilização de métodos dedutivos alternativos ao axiomático tem sido de grande interesse para a Teoria da Prova e para a Teoria da Computação, sendo esta última caracterizada, por exemplo, pela busca por métodos mais adequados para implementações em computadores. Dentre tais métodos, destacamos o método de tableaux analíticos introduzidos por Smullyan em 1968. Os sistemas lógicos em tabl…
| 2 | Bolsas no país concluídas |
| Processos vinculados | |