CV Lattes
Google Scholar Citations
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
O Professor Hércules é licenciado em Matemática pela Fundação Educacional de Bauru (1984), mestre em Fundamentos da Matemática pela Universidade Estadual Paulista - UNESP - IGCE (1992) e doutor em Lógica e Filosofia da Ciência pela Universidade Estadual de Campinas - UNICAMP - IFCH (1998). Desde 1988 é professor na UNESP, Faculdade de Ciências, Departamento de Matemática, Câmpus de Bauru. No momento é professor associado (livre docente) e é credenciado no Programa de Pós-Graduação em Filosofia da UNESP - FFC - Marília. Sua experiência acadêmica tem ênfase no ensino de Lógica e Fundamentos da Matemática e suas investigações científicas estão voltadas para lógica, traduções entre lógicas, modelos algébricos, quantificadores e lógicas não clássicas. (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 Lógica Plausível foi introduzida como uma lógica modulada como um quantificador generalizado para sentenças do tipo 'uma boa parte dos indivíduos admitem a propriedade P'. Este trabalho planeja alguns desenvolvimentos lógico-matemáticos da Lógica do Plausível. (AU)
Este projeto tem como meta a investigação de lógicas não clássicas e métodos de provas, mais especificamente, de lógicas intuicionistas (construtivistas) e o método dos tablôs, considerando o interesse computacional desse procedimento dedutivo. O objetivo central da pesquisa é apresentar a lógica intuicionista I1, que foi originalmente apresentada em um sistema dedutivo axiomático, como e…
Este projeto tem como base a teoria da computabilidade, com ênfase nas funções recursivas. O objetivo desta pesquisa é construir uma pseudolinguagem de programação bem estruturada, que seja sintaticamente similar à linguagem C, uma das linguagens de programação mais usadas no mundo. Partindo da definição de funções recursivas, com o conjunto de funções iniciais e regras para gerar novas f…
Em sua dissertação de mestrado intitulada "Sobre quantificadores: uma formalização do quantificador 'quase sempre'", Rodrigues (2011) introduz uma lógica para tratar do conceito de 'quase sempre', assim como feito na Lógica do Ultrafiltro. A Lógica do Ultrafiltro foi desenvolvida por Sette, Carnielli e Veloso (1999) com o intuito de capturar formalmente as noções de 'quase sempre' ou 'qua…
| 1 | Auxílios à pesquisa concluídos |
| 5 | Bolsas no país concluídas |
| 6 | Todos os Auxílios e Bolsas |
| Processos vinculados | |