Mauri Cunha do Nascimento

Possui graduação em Bacharelado Em Matemática pela Universidade Estadual de Campinas (1977), mestrado em Matemática pela Universidade Estadual de Campinas (1981) e doutorado em Matemática pela Universidade Estadual de Campinas (1990). Tem experiência na área de Matemática, com ênfase em Álgebra Comutativa, atuando principalmente nos seguintes temas: quantificadores, lógica, álgebra e lógica modal.

Informações coletadas do Lattes em 12/02/2026

Acadêmico

Formação acadêmica

Doutorado em Matemática

1982 - 1990

Universidade Estadual de Campinas
Título: Interseções de Doínios de Krull
Orientador: Antonio José Engler
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Doínio de Krull; Anel de Valorização Discreta.Grande área: Ciências Exatas e da Terra

Mestrado em Matemática

1978 - 1981

Universidade Estadual de Campinas
Título: Anéis Coerentes,Ano de Obtenção: 1981
Orientador: Hu Sheng
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Anéis Coerentes.Grande área: Ciências Exatas e da TerraSetores de atividade: Outros Setores.

Graduação em Bacharelado Em Matemática

1974 - 1977

Universidade Estadual de Campinas

Formação complementar

2005 - 2005

Extensão universitária em Formação Pedagógica Continuada de Docentes da Facu. (Carga horária: 60h). , Universidade Estadual Paulista Júlio de Mesquita Filho, UNESP, Brasil.

2002 - 2002

Extensão universitária em Intel Educação Para o Futuro. (Carga horária: 40h). , Universidade Estadual Paulista Júlio de Mesquita Filho, UNESP, Brasil.

1986 - 1986

Teoria de Valorização II. (Carga horária: 60h). , Universidade Estadual de Londrina, UEL, Brasil.

1986 - 1986

I Seminário de Análise Matemática. (Carga horária: 80h). , Universidade Estadual de Londrina, UEL, Brasil.

1986 - 1986

Espectro de Markov II. (Carga horária: 60h). , Universidade Estadual de Londrina, UEL, Brasil.

1985 - 1985

Espectro de Markov. (Carga horária: 90h). , Universidade Estadual de Londrina, UEL, Brasil.

1980 - 1980

Metodologia Em Ensino de Cálculo. (Carga horária: 30h). , Universidade Estadual de Londrina, UEL, Brasil.

Idiomas

Inglês

Compreende RazoavelmenteLê Razoavelmente, Escreve Pouco.

Espanhol

Compreende RazoavelmenteLê Razoavelmente.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Francês

Compreende RazoavelmenteLê Razoavelmente.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Álgebra Comutativa.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Lógica Matemática.

Grande área: Ciências Humanas / Área: Educação / Subárea: Ensino-Aprendizagem.

Organização de eventos

BARALDI, I. M. ; NICOLA, A. C. C. ; NASCIMENTO, M. C. . XXV Semana da Licenciatura em Matemática. 2013. (Congresso).

BARALDI, I. M. ; NASCIMENTO, M. C. ; NICOLA, A. C. C. . XIV Semana da Licenciatura em Matemática. 2012. (Congresso).

FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. . Seminários Regulares do Grupo de Pesquisa SALCI (com base no CNPq ). 2011. (Outro).

Participação em eventos

Curso de Preparação para Aposentadoria - Responsabilidade Social, Cultura, Lazer e Arte - UNATI. 2014. (Seminário).

Congresso de Matemática Aplicada e Computacional CMAC Sudeste 2013. 2013. (Congresso).

Entardecer com a Docência: Reflexão sobre o Regime de Recuperação. 2013. (Encontro).

Formatura da Faculdade de Ciências.Nome de Turma dos formandos no Curso de Licenciatura em Matemática. 2013. (Outra).

Mesa Redonda sobre Regime Especial de Recuperação. 2013. (Seminário).

Palestras do III Programa de Verão - Matemática 2013 (Primeira Semana).Operadores de consequência de Tarski - aspectos algébricos e topológicos. 2013. (Seminário).

V Encontro de Docentes do Câmpus de Bauru - V ENDOC. 2013. (Encontro).

XXV Semana da Licenciatura em Matemática. 2013. (Encontro).

ERMAC 2012 - Encontro Regional de Matemática Aplicada e Computacional. 2012. (Encontro).

Formatura da Faculdade de Ciências.Nome de Turma do Curso de Licenciatura em Matemática. 2012. (Outra).

Fórum de Ensino da Faculdade de Ciências. 2012. (Seminário).

IV Encontro dos Docentes do Campus de Bauru - IV ENDOC. 2012. (Encontro).

OFICINA DE ESTUDOS - AVALIAÇÃO DO ENSINO SUPERIOR: ....Grupo de trabalho. 2012. (Oficina).

XXIV SEMANA DA LICENCIATURA EM MATEMÁTICA. 2012. (Encontro).

Formatura da Faculdade de Ciências.Nome de Turma do Curso de Licenciatura em Matemática. 2011. (Outra).

O Sistema Educativo Português. 2011. (Seminário).

Tratado de Bolonha. 2011. (Seminário).

XXIII Semana da Licenciatura em Matemática. 2011. (Encontro).

Formatura da Faculdade de Ciências.Nome de Turma. 2010. (Outra).

Seminários do Grupo de Pesquisa MApliC.Lógica: estruturas matemáticas e formalização. 2010. (Seminário).

XXII Semana da Licenciatura em Matemática.Primeiros passos com o GeoGebra. 2010. (Simpósio).

27º Colóquio Brasileiro de Matemática. As álgebras dos operadores de conseqüência. 2009. (Congresso).

Curso Elementar de Suddha Raja Yoga. 2009. (Seminário).

XXI Semana da Licenciatura em Matemática. 2009. (Congresso).

ERMAC- Encontro Regional de Matemática Aplicada e Computacional.Modelando um quantificador não clássico. 2008. (Encontro).

XIX Semana da Licenciatura em Matemática. 2008. (Encontro).

XVIII Semana da Licenciatura em Matemática. 2007. (Encontro).

Encontro de Bauru e Região de Educação Matemática. 2006. (Encontro).

XVII Semana da Licenciatura em Matemática.Superlogo: programação para o estudo de geometria. 2006. (Simpósio).

Encontro de Bauru e Região de Educação Matemática. 2005. (Encontro).

XVII Semana da Licenciatura em Matemática. 2005. (Encontro).

XVI Semana da Licenciatura em Matemática.Semana de Curso. 2004. (Encontro).

XV Semana da Licenciatura em Matemática.Semana de Curso. 2003. (Encontro).

Seminários Regulares do Grupo de Pesquisa em Sistemas Adaptativos, Lógica e Computação Inteligente.Seminários Regulares do Grupo de Pesquisa em Sistemas Adaptativos, Lógica e Computação Inteligente. 2002. (Seminário).

Encontros em Álgebra.Encontros em Álgebra. 1999. (Encontro).

I Seminário de Informática Educacional.I Seminário de Informática Educacional. 1999. (Seminário).

Mostra de Projetos - Programa Pró-Ciências.Mostra de Projetos - Programa Pró-Ciências. 1998. (Oficina).

Encontros em Álgebra.Encontros em Álgebra. 1997. (Encontro).

III Circuito Prograd.III Circuito Prograd. 1995. (Encontro).

XIII Escola de Álgebra.XIII Escola de Álgebra. 1994. (Seminário).

Encontros em Álgebra.Encontros em Álgebra. 1993. (Encontro).

18º Colóquio Brasileiro de Matemática.18º Colóquio Brasileiro de Matemática. 1989. (Seminário).

Participação em bancas

Aluno: Camila Augusta Vaine

FEITOSA, Hercules de AraujoNASCIMENTO, M. C.; ALVES, M. A.. Um modelo algébrico para a lógica do muito. 2013. Dissertação (Mestrado em Mestrado em Filosofia) - Faculdade de Fislosofia e Ciências - Marília.

Aluno: Adriano Gomes de Santana

Sharma, N. K.;NASCIMENTO, M. C.; Silva, A. N.. Criptografia de Curvas Elípticas sobre Extensões de Corpos Finitos. 2013. Dissertação (Mestrado em Mestrado em Matemática Aplicada e Computacional) - Universidade Estadual de Londrina.

Aluno: Ângela Pereira Rodrigues

FEITOSA, Hercules de AraujoNASCIMENTO, M. C.; BUENO-SOLER. Sobre quantificadores: uma formalização do quantificador 'quase sempre'. 2012. Dissertação (Mestrado em Mestrado em Filosofia) - Faculdade de Fislosofia e Ciências - Marília.

Aluno: Anderson Aparecido da Silva

FEITOSA, Hercules de Araujo; DE SOUZA, E. G.;NASCIMENTO, M. C.. Aspectos Lógicos e Algébricos dos Conjuntos Fuzzy. 2012. Dissertação (Mestrado em Mestrado em Filosofia) - Faculdade de Fislosofia e Ciências - Marília.

Aluno: Ana Claudia de Jesus Golzio

FEITOSA, Hercules de AraujoNASCIMENTO, M. C.; CONIGLIO, Marcelo Esteban. Elementos Algébricos para a noção de "poucos" e sua formalização em sistemas lógicos dedutivos. 2011. Dissertação (Mestrado em Programa de Pós-Graduação em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Mariana Matulovic da Silva Fadel

FEITOSA, Hercules de AraujoNASCIMENTO, M. C.; DE SOUZA, E. G.. A lógica do Muito em um sistema de Tablôs. 2008. Dissertação (Mestrado em Mestrado em Filosofia) - Faculdade de Fislosofia e Ciências - Marília.

Aluno: Mariana Matulovic da Silva Fadel

FEITOSA, Hercules de AraujoGrácio, M. C. C.NASCIMENTO, M. C.. A lógica do muito em um sistema de tablôs [Qualificação]. 2006. Dissertação (Mestrado em Mestrado em Filosofia) - Faculdade de Fislosofia e Ciências - Marília.

Aluno: Luiz Henrique Silvestrini

FEITOSA, Hercules de Araujo; GRÁCI, Maria Claudia Cabrini; DÓTAVIANO, Ítala M Loffredo;NASCIMENTO, M. C.. Tableaux e Indução na Lógica do Plausível. 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Odete Maria Corrêa Cordeiro

GRÁCI, Maria Claudia Cabrini; DÓTAVIANO, Ítala M Loffredo;FEITOSA, Hercules de AraujoNASCIMENTO, M. C.. Processos Inferenciais: Contribuições das Ciências Cognitivas. 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Joselma Pinheiro Gonçalves

NASCIMENTO, M. C.. Reticulados de Posto 3 em Corpos de Números. 2000. Dissertação (Mestrado em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Anderson Aparecido da Silva

FEITOSA, Hercules de AraujoNASCIMENTO, M. C.; SILVESTRINI, L. H. C.. Aspectos Lógicos e Algébricos dos Conjuntos Fuzzy. 2012. Exame de qualificação (Mestrando em Mestrado em Filosofia) - Faculdade de Fislosofia e Ciências - Marília.

Aluno: Camila Augusta Vaine

FEITOSA, Hercules de AraujoNASCIMENTO, M. C.; SILVESTRINI, L. H. C.. Um outro modelo para a lógica do muito. 2012. Exame de qualificação (Mestrando em Mestrado em Filosofia) - Faculdade de Fislosofia e Ciências - Marília.

Aluno: Viviane Avante

NASCIMENTO, M. C.. UM ESTUDO DE ELEMENTOS DA TEORIA DE GRUPOS. 2003. Monografia (Aperfeiçoamento/Especialização em ESPECIALIZAÇÃO EM MATEMÁTICA COM ÊNFASE DE RECURSO) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Gleice dos Santos Marini

NASCIMENTO, M. C.; JAVARONI; PIROLA. UTILIZAÇÃO DO SOFTWARE CABRI-GÉOMÈTRE PARA APRENDIZAGEM DE GEOMETRIA: UMA ANÁLISE ATRAVÉS DA TEORIA DE VAN HIELE. 2003. Monografia (Aperfeiçoamento/Especialização em ESPECIALIZAÇÃO EM MATEMÁTICA COM ÊNFASE DE RECURSO) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Celso Henrique Nicola

NASCIMENTO, M. C.; PIROLA; JAVARONI. EXPLORANDO A GEOMETRIA FRACTAL NA SALA DE AULA. 2003. Monografia (Aperfeiçoamento/Especialização em ESPECIALIZAÇÃO EM MATEMÁTICA COM ÊNFASE DE RECURSO) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: GIOVANA DI GIACOMO DAMICO

NASCIMENTO, M. C.; LOCCI; BRUNO. PLANIFICAÇÃO DO CILINDRO E DO CONE CIRCULARES OBLÍQUOS. 2003. Monografia (Aperfeiçoamento/Especialização em ESPECIALIZAÇÃO EM MATEMÁTICA COM ÊNFASE DE RECURSO) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: RENATA CRISTINA RABELLO COLLÓ

NASCIMENTO, M. C.; BRUNO; LOCCI. MÉTODOS ANALÍTICOS DE RESOLUÇÃO DE EQUAÇÕES CÚBICAS E QUÁRTICAS. 2003. Monografia (Aperfeiçoamento/Especialização em ESPECIALIZAÇÃO EM MATEMÁTICA COM ÊNFASE DE RECURSO) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Carla Simone Ribas Balderramas Débia

NASCIMENTO, M. C.; SILVA, M. R. G.. Livro Didático: Alguns pontos de vista. 1999. Monografia (Aperfeiçoamento/Especialização em Curso de Esp. em Ensino de Ciências e Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Márcia Marinho Nascimento Mello

NASCIMENTO, M. C.; SILVA, M. R. G.. Avaliação Matemática: um estudo inicial. 1999. Monografia (Aperfeiçoamento/Especialização em Curso de Esp. em Ensino de Ciências e Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Rosane Maria Lima Araujo

NASCIMENTO, M. C.; SILVA, M. R. G.. Informática na Educação: a integração do computador no processo de ensino e aprendizagem. 1999. Monografia (Aperfeiçoamento/Especialização em Curso de Esp. em Ensino de Ciências e Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Willians Garcia Viana

NASCIMENTO, M. C.; PAULOVICH, L.. Influência de Fatores no Desempenho Escolar. 1999. Monografia (Aperfeiçoamento/Especialização em Curso de Esp. em Ensino de Ciências e Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Angela Maria Granzote

NASCIMENTO, M. C.; MORGADO, M. J. L.. Uma Experiência Vivienciada em Logo no Ensino Fundamental. 1999. Monografia (Aperfeiçoamento/Especialização em Curso de Esp. em Ensino de Ciências e Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Isabel Cristina Tonhole

NASCIMENTO, M. C.; SILVA, M. R. G.. Trabalho em Grupo na Aula de Matemática: Concepções de professores. 1999. Monografia (Aperfeiçoamento/Especialização em Curso de Esp. em Ensino de Ciências e Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho.

Aluno: Wander de Oliveira

ANDRADE, A. F. P.;NASCIMENTO, M. C.; SAVIOLI, A. M. P. D.. Conceitos Topológicos Fundamentais e o Princípio de Compacidade de Bolzano-Weierstrass. 1997. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em Matemática Superior) - Universidade Estadual de Londrina.

Aluno: Roger Samuel de Oliveira

Zanata, E. M.;NASCIMENTO, M. C.; MARQUES, A. F.. Educação Financeira em Sala de Aula na Perspectiva da Etnomatemática. 2007. Trabalho de Conclusão de Curso (Graduação em Pedagogia) - Faculdade de Ciências.

NASCIMENTO, M. C.; Henrique Lazari; Marcos Vieira Teixeira. Banca examinadora para preenchimento de emprego público de professor assistente doutor. 2011. Faculdade de Ciências.

NASCIMENTO, M. C.; Dias, Ires; Sampaio, João Carlos Vieira. Concurso Público de Título e Provas para provimento de 01 cargo Professor Assistente, junto ao Departamento de Matemática da Faculdade de Ciências da UNESP, Campus de Bauru. 2010. Faculdade de Ciências.

NASCIMENTO, M. C.; BUTIGNON; PAVLU. Concurso Público de Títulos e Provas para provimento de 01 (um) cargo de Professor Assistente para o Departamento de Matemática da Faculdade de Ciências da Unesp, Campus de Bauru. 2003. Universidade Estadual Paulista Júlio de Mesquita Filho.

NASCIMENTO, M. C.. Banca Examinadora do Concurso Público para Admissão de Docentes. 1997. Universidade Estadual de Londrina.

NASCIMENTO, M. C.. Banca Examinadora do Concurso Público de Títulos e Provas para o provimento de cargos de Professor Assistente. 1997. Universidade Estadual Paulista Júlio de Mesquita Filho.

NASCIMENTO, M. C.. Banca Examinadora do 6º Concurso Público de Provas e Títulos de Professor não Titular. 1992. Universidade Estadual do Oeste do Paraná.

NASCIMENTO, M. C.. Banca Examinadora do Processo Seletivo Público para Admissão de Do-centes. 1991. Universidade Estadual de Londrina.

NASCIMENTO, M. C.. Banca Examinadora do Processo Seletivo Público para Admissão de Do-centes. 1987. Universidade Estadual de Londrina.

FEITOSA, Hercules de AraujoNASCIMENTO, M. C.; SILVESTRINI, L. H. C.. Comissão Examinadora do Exame de Qualificação de Kleidson E. C. S. Oliveira (Mestrado). 2011. Universidade Estadual Paulista Júlio de Mesquita Filho.

FEITOSA, Hercules de AraujoGrácio, M. C. C.NASCIMENTO, M. C.. Comissão Examinadora do Exame de Qualificação de Ana Claudia de Jesus Golzio (Mestrado). 2011. Universidade Estadual Paulista Júlio de Mesquita Filho.

FEITOSA, Hercules de AraujoNASCIMENTO, M. C.; SILVESTRINI, L. H. C.. Comissão Examinadora do Exame de Qualificação de Ângela Pereira Rodrigues (Mestrado). 2011. Universidade Estadual Paulista Júlio de Mesquita Filho.

NASCIMENTO, M. C.. Comitê Científico da GRAPHICA2009. 2009. Faculdade de Arquitetura, Artes e Comunicação.

FEITOSA, Hercules de Araujo; GRÁCI, Maria Claudia Cabrini;NASCIMENTO, M. C.. Comissão Examinadora de Exame de qualificação. 2006. Faculdade de Fislosofia e Ciências - Marília.

NASCIMENTO, M. C.. Comissão Científica da XVIII Semana da Licenciatura em Matemática. 2006. Faculdade de Ciências.

Orientou

Rilda Nobuko Kato

Desenvolvimento de atividades visando uma melhor compreensão dos conceitos necessários ao desenvolvimento do Cálculo Diferencial e Integral; Início: 2012; Iniciação científica (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho; (Orientador);

Gleice dos Santos Marini

UTILIZAÇÃO DO SOFTWARE CABRI-GÉOMÈTRE PARA APRENDIZAGEM DE GEOMETRIA: UMA ANÁLISE DA TEORIA DE VAN HIELE; 2003; Monografia; (Aperfeiçoamento/Especialização em ESPECIALIZAÇÃO EM MATEMÁTICA COM ÊNFASE DE RECURSO) - Universidade Estadual Paulista Júlio de Mesquita Filho; Orientador: Mauri Cunha do Nascimento;

Viviane Avante

UM ESTUDO DE ELEMENTOS DA TEORIA DOS GRUPOS; 2003; Monografia; (Aperfeiçoamento/Especialização em ESPECIALIZAÇÃO EM MATEMÁTICA COM ÊNFASE DE RECURSO) - Universidade Estadual Paulista Júlio de Mesquita Filho; Orientador: Mauri Cunha do Nascimento;

Willians Garcia Viana

Influências de Alguns Fatores no Desempenho de Matemática; 1999; Monografia; (Aperfeiçoamento/Especialização em Curso de Esp; em Ensino de Ciências e Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho; Orientador: Mauri Cunha do Nascimento;

Alessandro da Luz Miranda

Informática na Escola; 1999; Trabalho de Conclusão de Curso; (Graduação em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho; Orientador: Mauri Cunha do Nascimento;

Rilda Nobuko Kato

Desenvolvimento de atividades visando uma melhor compreensão dos conceitos necessários ao desenvolvimento do Cálculo Diferencial e Integral; 2012; Iniciação Científica; (Graduando em Curso de Licenciatura em Matemática) - Faculdade de Ciências; Orientador: Mauri Cunha do Nascimento;

Gabriela Torres Agostinho

Álgebra Universal; 2009; Iniciação Científica; (Graduando em Curso de Licenciatura em Matemática) - Faculdade de Ciências de Bauru, Universidade Paulista Júlio de Mesquita Filho; Orientador: Mauri Cunha do Nascimento;

Gabriela Torres Agostinho

Independência dos axiomas e propriedade de interpolação para a lógica TK; 2008; Iniciação Científica; (Graduando em Curso de Licenciatura em Matemática) - Faculdade de Ciências; Orientador: Mauri Cunha do Nascimento;

Fanciane Gambero

Teoria dos Códigos; 1997; Iniciação Científica; (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mauri Cunha do Nascimento;

Luiza Amália Pinto

Números ´p-ádicos; 1996; Iniciação Científica; (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mauri Cunha do Nascimento;

Luiza Amália Pinto

Números Racionais, Irracionais e Transcendentes; 1995; Iniciação Científica; (Graduando em Licenciatura Em Matemática) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mauri Cunha do Nascimento;

Wander Oliveira

Números Racionais, Irracionais e Transcendentes; 1992; Iniciação Científica; (Graduando em Licenciatura em Matemática) - Universidade Estadual de Londrina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mauri Cunha do Nascimento;

Sérgio Chico Piai

Operações com Inteiros de Grande Porte; 1990; Iniciação Científica; (Graduando em Licenciatura em Matemática) - Universidade Estadual de Londrina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mauri Cunha do Nascimento;

Claudio Luis Sala

Monitoria de Cálculo II; 2013; Orientação de outra natureza; (Física) - Universidade Estadual Paulista Júlio de Mesquita Filho; Orientador: Mauri Cunha do Nascimento;

Dan Tanaka Ribeiro

Monitoria de Cálculo II; 2012; Orientação de outra natureza; (Física) - Universidade Estadual Paulista Júlio de Mesquita Filho, Universidade Paulista Júlio de Mesquita Filho; Orientador: Mauri Cunha do Nascimento;

Gabriela Torres Agostinho

LÓGICA DE PRIMEIRA ORDEM; 2010; Orientação de outra natureza; (Curso de Licenciatura em Matemática) - Faculdade de Ciências, Universidade Paulista Júlio de Mesquita Filho; Orientador: Mauri Cunha do Nascimento;

Gabriela Baptistella Peres

Mosaicos com o Programa Superlogo; 2007; Orientação de outra natureza; (Curso de Licenciatura em Matemática) - Faculdade de Ciências, Universidade Paulista Júlio de Mesquita Filho; Orientador: Mauri Cunha do Nascimento;

Viviane Marcela dos Santos

Estudo do Programa Superlogo; 2006; Orientação de outra natureza; (Licenciatura em Matemática) - Universidade Estadual Paulista; Orientador: Mauri Cunha do Nascimento;

Sueli Palarmido

Tópicos da História da Matemática; 2005; 43 f; Orientação de outra natureza - Universidade Estadual Paulista Júlio de Mesquita Filho, Universidade Estadual Paulista Júlio de Mesquita Filho; Orientador: Mauri Cunha do Nascimento;

Leonardo José Adolfo

Complementos de Álgebra Linear; 2004; 26 f; Orientação de outra natureza - Universidade Estadual Paulista Júlio de Mesquita Filho, Universidade Estadual Paulista Júlio de Mesquita Filho; Orientador: Mauri Cunha do Nascimento;

Wagner Yuwamoto Miyaschita

Os Conjuntos Numéricos como Estruturas Algébricas; 2003; 37 f; Orientação de outra natureza - Universidade Estadual Paulista Júlio de Mesquita Filho; Orientador: Mauri Cunha do Nascimento;

Wagner Yuwamoto Miyaschita

Sistemas de Numeração; 2002; 40 f; Orientação de outra natureza - Universidade Estadual Paulista Júlio de Mesquita Filho, Universidade Estadual Paulista Júlio de Mesquita Filho; Orientador: Mauri Cunha do Nascimento;

Michel Angelucci

Atividades de Cálculo Diferencial e Integral com o Auxílio do Computador; 2001; 10 f; Orientação de outra natureza - Universidade Estadual Paulista Júlio de Mesquita Filho, Universidade Estadual Paulista Júlio de Mesquita Filho; Orientador: Mauri Cunha do Nascimento;

Saimo Têmprer Firmino

Atividades do Cálculo Diferencial com o Auxílio do Computador; 2001; 10 f; Orientação de outra natureza - Universidade Estadual Paulista Júlio de Mesquita Filho, Universidade Estadual Paulista Júlio de Mesquita Filho; Orientador: Mauri Cunha do Nascimento;

Michel Angelucci

Uso do Computador no ensino da Matemática; 2000; 7 f; Orientação de outra natureza - Universidade Estadual Paulista Júlio de Mesquita Filho; Orientador: Mauri Cunha do Nascimento;

Produções bibliográficas

FEITOSA, H. A. ; NASCIMENTO, M. C. . Logic of deduction: models of pre-order and maximal theories. South American Journal of Logic , v. 1, p. 283-297, 2015.
FEITOSA, H. A. ; NASCIMENTO, M. C. ; SILVESTRINI, Luiz Henrique da Cruz . Confrontando propriedades lógicas em um contexto de lógica universal. Cognito: Revista de Filosofia , v. 15, p. 333-347, 2014.
FEITOSA, H. A. ; NASCIMENTO, M. C. . Lógica modal do operador de consequência: histórico, representação matricial e decidibilidade. Kínesis (Marília) , v. 6, p. 17-37, 2014.
FEITOSA, H. A. ; NASCIMENTO, M. C. ; SOARES, M. R. . Sobre a compacidade lógica e topológica. CQD - Revista Eletrônica Paulista de Matemática , v. 2, p. 1-9, 2013.
NASCIMENTO, M. C. ; KRAUSE, D. ; FEITOSA, Hercules de Araujo . The quasi-lattice of indiscernible elements. Studia Logica , v. 97, p. 101-126, 2011.
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. ; Grácio, M. C. C. . LOGIC TK: ALGEBRAIC NOTIONS FROM TARSKI?S CONSEQUENCE OPERATOR. Principia (UFSC) , v. 14, p. 47-70, 2010.
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. ; Grácio, M. C. C. . Algebraic elements for the notion of 'many'. CLE e-Prints (Online) , v. 9, p. 1-22, 2009.
NASCIMENTO, M. C. ; FEITOSA, Hercules de Araujo . Os três problemas clássicos da aniguidade. Revista Ciência e Tecnologia , v. 16, p. 61-64, 2007.
NASCIMENTO, M. C. ; PAULOVICH, L. . Gerando uma elipse a partir de parábolas com focos em uma circunferência e diretriz fixa. Revista do Professor de Matemática , v. 63, p. 38-42, 2007.
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. ; GRÁCI, Maria Claudia Cabrini . A propositional logic for Tarski?s consequence operator. CLE e-Prints (Online) , v. 7, p. 1-13, 2007.
GRÁCI, Maria Claudia Cabrini ; FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. . ?MUITOS?: FORMALIZANDO UM CONCEITO IMPRECISO. Revista Eletrônica Informação e Cognição , v. 5, p. 20-28, 2006.
NASCIMENTO, M. C. ; FEITOSA, Hercules de Araujo . As Álgebras dos Operadores de Consequência. Revista de Matemática e Estatística , São Paulo, v. 23-1, n.1, p. 19-30, 2005.
NASCIMENTO, M. C. ; PAULOVICH, L. ; SOUZA, A. R. . Vértices de Famílias de Parábolas. Revista do Professor de Matemática, São Paulo, v. 41, p. 7-11, 1999.
NASCIMENTO, M. C. . Nonfiniteness in Finite Class Group. Communications in Algebra , New York, v. 25, n.7, p. 2105-2114, 1997.
NASCIMENTO, M. C. . Intersection of Powers of Prime Ideals in Krull Domains. Communications in Algebra , New York, v. 20, p. 777-782, 1992.
NASCIMENTO, M. C. ; FEITOSA, Hercules de Araujo . Estruturas Algébricas. 1. ed. São Paulo: Cultura Acadêmica Editora, 2013. v. 1. 172p .
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. ; ALFONSO, A. B. . Teoria dos Conjuntos: sobre a fundamentação matemática e a construção de conjuntos numéricos.. 1. ed. Rio de Janeiro: Editora Ciência Moderna, 2011. v. 1. 288p .
NASCIMENTO, M. C. ; FEITOSA, Hercules de Araujo . Elementos da teoria dos números. 1. ed. São Paulo: Cultura Acadêmica, 2009. v. 1. 140p .
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. ; SOARES, M. R. . Models for the logic of Tarski consequence operator.. In: Cezar A. Mortari. (Org.). Tópicos de lógicas não clássicas. 1ed.Florianópolis: NEL/UFSC, 2014, v. 1, p. 125-137.
NASCIMENTO, M. C. ; PAULOVICH, L. . Gerando uma elipse a partir de parábolas com focos em uma circunferência e diretriz fixa. In: Ana Catarina P. Hellmeister. (Org.). Geometria em Sala de Aula. 1ed.Rio de Janeiro: Sociedade Brasileira de Matemática - SBM, 2013, v. , p. 229-235.
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. . O operador de consequência de Tarski e a lógica modal do fecho dedutivo. In: Marcelo Carvalho; Vinicius Figueiredo. (Org.). Filosofia contemporânea: lógica, linguagem e ciência. 1ed.São Paulo: ANPOF, 2013, v. , p. 397-404.
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. ; Grácio, M. C. C. . A propositional version of the logic of the plausible.. In: Cezar Mortari e Luiz Henrique Dutra.. (Org.). Anais do V Simpósio Internacional Principia. 1ed.Florianópolis: NEL ? Núcleo de Epistemologia e Lógica, 2009, v. , p. 184-195.
Grácio, M. C. C. ; FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. . Linguagem e inferência indutiva em sistemas dedutivos. In: Jonas Gonçalves Coelho; Maximiliano Martin Vicente. (Org.). Pensamento e Linguagem: Subjetividade, Comunicação e Arte.. São Paulo: Cultura Acadêmica, 2008, v. 1, p. 141-166.
FEITOSA, Hercules de Araujo ; Grácio, M. C. C. ; NASCIMENTO, M. C. . Sobre os quantificadores generalizados. In: V Encontro da Associação de Filosofia e História da Ciência do Cone Sul, 2008, Florianopolis. Filosofia e História da Ci^neica no Cone Sul: seleção de trabalhos do Cone Sul: seleção de trabalhos do Cone Sul: Seleção de Trabalhos do 5º Encontro. Campinas: AFHIC, 2006. p. 197-206.
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. ; LAZARO, C. A. . Uma estrutura matemática para o conceito de Muitos'. In: ERMAC 2012 - Encontro Regional de Matemática Aplicada e Computacional, 2012, Botucatu, SP. Anais do ERMAC - IBB - Botucatu - 2012, 2012. p. 1-4.
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. ; M. R. Soares . Espaços topológicos ampliados como modelos para quantificadores e outros conceitos lógicos. In: ERMAC 2012 - Encontro Regional de Matemática Aplicada e Computacional, 2012, Botucatu, SP. Anais do ERMAC - IBB - Botucatu - 2012, 2012. p. 1-3.
Tiago Augusto dos Santos Boza ; FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. . Aspectos algébricos da lógica do plausível. In: Brazilian Conference on Dynamics, Control and Applications, 2009, Bauru. Proceedings of the 8th Brazilian Conference on Dynamics, Control and Applications., 2009. v. 1.
Gabriela Torres Agostinho ; NASCIMENTO, M. C. . Independência dos Axiomas e Propriedade de Disjunção para a Lógica TK. In: Brazilian Conference on Dynamics, Control and Applications, 2009, Bauru. Proceedings of the 8th Brazilian Conference on Dynamics, Control and Applications., 2009. v. 1.
NASCIMENTO, M. C. ; Grácio, M. C. C. ; FEITOSA, Hercules de Araujo . Modelando um quantificador não clássico. In: ERMAC- Encontro Regional de Matemática Aplicada e Computacional, 2008, Bauru. Resumos e Minicursos do I Encontro Regional de Matemática Aplicada e Computacional. Bauru - SP, 2008. p. 480-483.
Peres ; NASCIMENTO, M. C. . Mosaicos com o Superlogo. In: ERMAC- Encontro Regional de Matemática Aplicada e Computacional, 2008, Bauru - SP. Resumos e Minicursos do I Encontro Regional de Matemática Aplicada e Computacional. Bauru - SP, 2008. p. 503-507.
SILVESTRINI, L. H. C. ; NASCIMENTO, M. C. . Localizando pontos no tableau TLP. In: ERMAC- Encontro Regional de Matemática Aplicada e Computacional, 2008, Bauru - SP. Resumos e Minicursos do I Encontro Regional de Matemática Aplicada e Computacional. Bauru - SP, 2008. p. 470-474.
FEITOSA, H. A. ; NASCIMENTO, M. C. . Teoria dos quase conjuntos numa extensão não 'standard' dos reais.. In: EBL 2014 - 17th Brazilian Logic Conference, 2014, Petrópolis. Book of Abstracts. Petrópolis, 2014. p. 55-55.
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. . Models for the logic of Tarski consequence operator: maximal theories and preorder semantics. In: VIII SIMPÓSIO INTERNACIONAL PRINCIPIA, 2013, Florianópolis. Caderno de Resumos do "VIII SIMPÓSIO INTERNACIONAL PRINCIPIA", 2013. p. 63-65.
FEITOSA, H. A. ; NASCIMENTO, M. C. ; M. R. Soares . Espaços quase topológicos: o caso em que cada conjunto fechado é também aberto.. In: Anais do Congresso de Matemática Aplicada e Computacional CMAC Sudeste 2013, 2013, Bauru. Anais do Congresso de Matemática Aplicada e Computacional CMAC Sudeste 2013, 2013. p. 40-45.
SOARES, M. R. ; FEITOSA, H. A. ; NASCIMENTO, M. C. . Espaços quase topológicos e lógica. In: Congresso de Matemática Aplicada e Computacional CMAC Sudeste 2013, 2013, Bauru. Anais do Congresso de Matemática Aplicada e Computacional CMAC Sudeste 2013, 2013. p. 678-683.
RIBEIRO, H. N. ; LOURENCO, L. ; BRONDINO, N. C. M. ; NASCIMENTO, M. C. ; JAVARONI, S. L. . Implementação de Páginas Web para a exibição de atividades para o Projeto Pré-Cálculo.. In: Congresso de Matemática Aplicada e Computacional CMAC Sudeste 2013, 2013, Bauru. Anais do Congresso de Matemática Aplicada e Computacional CMAC Sudeste 2013, 2013. p. 251-253.
IGUERA, A. V. V. ; BRONDINO, N. C. M. ; NASCIMENTO, M. C. ; JAVARONI, S. L. . Implementação de Páginas Web para o Cadastro, Alteração e Exclusão de Questões para o Projeto Pré-Cálculo.. In: Congresso de Matemática Aplicada e Computacional CMAC Sudeste 2013, 2013, Bauru. Anais do Congresso de Matemática Aplicada e Computacional CMAC Sudeste 2013, 2013. p. 254.
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. . Models for the Logic of Tarski Consequence Operator. In: Philosophy and Mathematics of Uncertainty and Vagueness, 2012, Campinas. Philosophy and Mathematics of Uncertainty and Vagueness. Campinas: UNICAMP, Centro de Lógica, Epistemologia e História da Ciência, 2012. v. 1. p. 32-33.
Kato, R. N. ; NASCIMENTO, M. C. ; JAVARONI ; BRONDINO . DESENVOLVIMENTO DE ATIVIDADES VISANDO A COMPREENSÃO DOS CONCEITOS DO CÁLCULO DIFERENCIAL E INTEGRAL. In: XXIV Congresso de Iniciação Científica da Unesp, 2012, Bauru. Trabalhos Apresentados na 1ª Fase, 2012.
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. . Derivative algebra in Tarski spaces.. In: XVI EBL - 16th Brazilian Logic Conference, 2011, Petrópolis/RJ. Encontro Brasileiro de Lógica, 2011, Petrópolis. XVI EBL: Abstracts, 2011. p. 78-78.
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. ; Grácio, M. C. C. . Algebraic Elements for the notions of 'many'. In: XIV Latin American Symposium on Mathematical Logic, 2009, Paraty, RJ. The Bulletin of Symbolic Logic. New York: The Association for Symbolic Logic, 2008. v. 15. p. 372.
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. . Almost topological spaces. In: CLE/AIPS Events, 2009, Campinas. Science, truth and consistency. Campinas, 2009. p. 66-66.
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. ; Grácio, M. C. C. . Elementos Algébricos para 'Muitos' ... 'Quase Todos'. In: XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty, RJ - Brazil. Annals of CLE 30 Years. Campinas: Editora da UNICAMP, 2008. v. 15. p. 183-183.
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. ; GRÁCI, Maria Claudia Cabrini . Espaços quase topológicos e lógicas modais associadas.. In: Encontro Brasileiro de, 2006, Itatiaia. Caderno de Resumos, 2006. v. 1.
NASCIMENTO, M. C. ; PAULOVICH, L. . Explorando o conceito de incentro com o Cabri geométre. In: VI EPEN, 2001, Catanduva. Anais do VI EPEN, 2001.
NASCIMENTO, M. C. ; PAULOVICH, L. . Uma investigação utilizando o winplot. In: VI EPEN, 2001, Catanduva/SP. Anais do VI EPEN.
NASCIMENTO, M. C. . Curvas determinadas por pontos críticos de polinômios. In: VIII ENAL, 2000, Campinas/SP. Atas da VIII ENAL, 1999. p. 30-31.
NASCIMENTO, M. C. . Um Exemplo em Domínio de Krull. In: 2º Encontro em Álgebra IME-USP/IMECC-UNICAMP, 1994, Campinas. 2º Encontro em Álgebra IME-USP/IMECC-UNICAMP, 1993.
NASCIMENTO, M. C. . Interseção de Pn<>0 em um Domínio de Fatoração Única. In: 17 Colóquio Brasileiro de Matemática, 1991, Rio de Janeiro. Atas do 17 Colóqui Brasileiro de Matemática. Rio de Janeiro: Sociedade Brasileira de Matemática, 1991. p. 59-60.
NASCIMENTO, M. C. . Interseção de um Domínio de Krull com um anel de valorização Discreta. In: X Escola de Álgebra, 1990, Vitória. Atas da 10a Escola de Álgebra. Rio de Janeiro: Sociedade Brasileira de Matemática, 1990. v. 16. p. 151-152.
FEITOSA, H. A. ; NASCIMENTO, M. C. . Teoria dos quase conjuntos numa extensão não 'standard' dos reais.. 2014. (Apresentação de Trabalho/Conferência ou palestra).
NASCIMENTO, M. C. ; FEITOSA, Hercules de Araujo . Operadores de Consequêcia de Tarski: aspectos algébricos e topológicos. 2013. (Apresentação de Trabalho/Conferência ou palestra).
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. . Models for the logic of Tarski consequence operator: maximal theories and preorder semantics. 2013. (Apresentação de Trabalho/Simpósio).
SOARES, M. R. ; FEITOSA, H. A. ; NASCIMENTO, M. C. . Espaços quase topológicos e lógica. 2013. (Apresentação de Trabalho/Congresso).
FEITOSA, H. A. ; NASCIMENTO, M. C. ; SOARES, M. R. . Espaços quase topológicos: o caso em que cada fechado é um aberto.. 2013. (Apresentação de Trabalho/Congresso).
RIBEIRO, H. N. ; LOURENCO, L. ; BRONDINO, N. C. M. ; NASCIMENTO, M. C. ; JAVARONI, S. L. . Implementação de Páginas Web para a exibição de atividades para o Projeto Pré-Cálculo. 2013. (Apresentação de Trabalho/Congresso).
IGUERA, A. V. V. ; BRONDINO, N. C. M. ; NASCIMENTO, M. C. ; JAVARONI, S. L. . Implementação de Páginas Web para o cadastro, alteração, inclusão e exclusão de questões para o projeto Pré-Cálculo. 2013. (Apresentação de Trabalho/Congresso).
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. . Models for the Logic of Tarski Consequence Operator.. 2012. (Apresentação de Trabalho/Congresso).
LAZARO, C. A. ; FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. . Uma estrutura matemática para o conceito de Muitos'. 2012. (Apresentação de Trabalho/Comunicação).
M. R. Soares ; FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. . Espaços topológicos ampliados como modelos para quantificadores e outros conceitos lógicos. 2012. (Apresentação de Trabalho/Comunicação).
Kato, R. N. ; NASCIMENTO, M. C. ; BRONDINO ; JAVARONI . Desenvolvimento de atividades visando a compreensão dos conceitos do cálculo diferencial e integral. 2012. (Apresentação de Trabalho/Congresso).
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. . Derivative algebra in Tarski spaces.. 2011. (Apresentação de Trabalho/Congresso).
NASCIMENTO, M. C. ; FEITOSA, Hercules de Araujo . As álgebras dos operadores de conseqüência. 2009. (Apresentação de Trabalho/Congresso).
NASCIMENTO, M. C. ; Grácio, M. C. C. ; FEITOSA, Hercules de Araujo . Modelando um quantificador nao classico. 2008. (Apresentação de Trabalho/Congresso).
FEITOSA, Hercules de Araujo ; Grácio, M. C. C. ; NASCIMENTO, M. C. . Sobre os quantificadores naturais: muito, ..., quase sempre. 2007. (Apresentação de Trabalho/Comunicação).
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. ; Grácio, M. C. C. . Espaços quase topológicos e lógicas modais associadas. 2006. (Apresentação de Trabalho/Comunicação).
PAULOVICH, L. ; NASCIMENTO, M. C. . Uma investigação utilizando o winplot. 2001. (Apresentação de Trabalho/Comunicação).
NASCIMENTO, M. C. . Curvas determinadas por pontos críticos de polinômios In. 1999. (Apresentação de Trabalho/Comunicação).
NASCIMENTO, M. C. . Um Exemplo em Domínio de Krull. 1994. (Apresentação de Trabalho/Comunicação).
NASCIMENTO, M. C. . Interseção não nula de potências de um ideal primo em um domínio de fatoração única. 1991. (Apresentação de Trabalho/Comunicação).
NASCIMENTO, M. C. . Interseção de um Domínio de Krull com um anel de valorização Discreta. 1990. (Apresentação de Trabalho/Comunicação).
NASCIMENTO, M. C. . Álgebra Linear 2012 (Material Didático).
NASCIMENTO, M. C. . Estruturas Algébricas 2009 (Material Didático).
NASCIMENTO, M. C. ; FEITOSA, Hercules de Araujo . Elementos da Teoria dos Números 2008 (Texto Didático).
FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. ; BRUNO . Teoria dos conjuntos: sobre a fundamentação matemática e a construção de conjuntos numéricos 2008 (Material Didático).

Outras produções

NASCIMENTO, M. C. . Parecer Técnico em Plano Global de Atividades e Projeto de Pesquisa. 2013.

NASCIMENTO, M. C. . Revisor de trabalhos submetidos ao CMAC- SE 2013 - 2º Congresso de Matemática Aplicada e Computacional do Sudeste.. 2013.

NASCIMENTO, M. C. . Consultoria Técnica para a Revista Ensaios e Ciência - Ciências Exatas e Tecnologia da Universidade para o Desenvolvimento do Estado e da Região do Pantanal. 2005.

NASCIMENTO, M. C. . Assessor Científico ad hoc da Pró-Reitoria de Graduação da Universidade Estadual de Londrina. 2005.

NASCIMENTO, M. C. . Introdução ao Superlogo. 2012. (Curso de curta duração ministrado/Outra).

NASCIMENTO, M. C. . Geogebra. 2011. (Curso de curta duração ministrado/Outra).

FEITOSA, Hercules de Araujo ; NASCIMENTO, M. C. . Coordenação do Seminários Regulares do Grupo de Pesquisa SALCI (com base no CNPq ). 2010. (Seminários).

NASCIMENTO, M. C. . Membro do Comitê Científico do Graphica2009 - VIII International Conference on Graphics Engineering of Arts and Design e XIX Simpósio Nacional de Geometria Descritiva e Desenho Técnico.. 2009 (Membro do Comitê Científico) .

Projetos de pesquisa

2012 - 2014

Quantificadores: modelos matemáticos, Descrição: Nossas investigações têm como meta entender estes conceitos lógico-linguísticos em relação com as estruturas matemáticas introduzidas como modelos dos quantificadores. Também buscamos a modelação desses quantificadores em ambientes lógicos modais.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Mauri Cunha do Nascimento - Coordenador.
2011 - 2014

Pré-Cálculo - Um Curso Interativo na Internet, Descrição: Este projeto é parte integrante do projeto institucional UAB 103/2010 - CONVÊNIO CAPES TICs - Edital 15/2010, que tem por objetivo o fomento ao uso de tecnologias de Informação e Comunicação no âmbito do Sistema Universidade Aberta do Brasill.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) . , Integrantes: Mauri Cunha do Nascimento - Integrante / SUELI LIBERATTI JAVARONI - Coordenador / Nair Cristina Margarido Brondino - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
2009 - 2011

Modelos matemáticos e operadores modais, Descrição: Dada uma lógica de primeira ordem clássica, esta pode ser estendida pela inclusão de um novo quantificador para interpretar noções como muitos, poucos, quase todos, entre outros. Como é conhecido, a lógica de primeira ordem clássica tem como modelos estruturas booleanas de primeira ordem, as quais podem ser estendidas de maneira a se interpretar esses novos quantificadores a partir de alguma família de subconjuntos do universo da estrutura modelo dessa lógica de primeira ordem. Assim, ao introduzirmos um novo quantificador na lógica quantificacional, podemos pensar em modelos algébricos correlatos construídos a partir de uma álgebra de Boole ao definir-se um novo operador, que irá corresponder, na estrutura algébrica, ao novo quantificador. O objetivo de nosso projeto de pesquisa é a investigação de estruturas matemáticas que interpretam quantificadores modulados, procurando formalizar tais conceitos sem o uso dos quantificadores, mas através de operadores modais proposicioanis, com a intenção de interpretá-los em estruturas algébricas adequadas para esse fim.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Mauri Cunha do Nascimento - Coordenador., Número de orientações: 1
2006 - 2009

Desenvolvimentos lógico-matemáticos da Lógica do Plausível., Descrição: A família das lógicas moduladas é caracterizada pela inclusão, na linguagem da lógica clássica de primeira ordem, de um quantificador generalizado Q, chamado de quantificador modulado, o qual deve ser interpretado semanticamente por um subconjunto Q do conjunto das partes do universo. Intuitivamente, este subconjunto Q representa um conjunto arbitrário de proposições sustentadas pelas evidências, dentro de uma base de conhecimento. Na Lógica do Plausível, o termo "uma 'boa' parte", representa um quantificador e deve ser entendido como um conjunto suficiente de evidências favoráveis, mas que não é necessariamente grande. Consideramos que sentenças desse tipo representam proposições plausíveis em uma base de conhecimento. O conceito a ser formalizado está, assim, desvinculado da noção de cardinalidade do conjunto de confirmações ou evidências, mas associado à noção de "suficiência de evidências" atribuída à proposição, fornecida por uma quantidade satisfatória de evidências para o estabelecimento desta proposição. A noção de plausibilidade possui certas propriedades estruturais: se duas proposições são plausíveis, então sua conjunção e sua disjunção são também plausíveis. Além disso, se todos os indivíduos do universo satisfazem uma proposição, não temos motivos para não acreditar que ela seja plausível. Estas propriedades nos remetem à idéia de topologia, ou mais especificamente, a uma versão modificada do conceito de topologia. Como desenvolvimentos lógico-matemáticos da Lógica do Plausível temos três objetivos claros: (i) Desenvolver a estrutura matemática dos espaços pseudo-topológicos em comparação com outras estruturas semelhantes, particularmente, com a estrutura dos espaços topológicos, quando devemos dar exemplos, estabelecer propriedades e distinguir estas estruturas; (ii) A Lógica do Plausível foi introduzida numa versão de lógica estendida, porém, entendemos que possamos manter a estrutura matemática das pseudo-topologias e constituir uma ver. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Mauri Cunha do Nascimento - Coordenador / Hercules de Araujo Feitosa - Integrante / Maria Claudia Cabrini Gráci - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.Número de orientações: 1
2003 - 2005

Um teorema de caracterização da álgebra LTK., Descrição: Em nosso trabalho, introduzimos as TK-álgebras associadas com os operadores de conseqüência de Tarski, mostramos algumas propriedades das referidas TK-álgebras e demonstramos dois teoremas de representação. Terminamos com algumas noções de uma lógica proposicional associada com a classe das TK-álgebras. A correção do modelo algébrico dado pelas TK-álgebras consiste em mostrar que todo teorema de TK é uma fórmula TK-válida, o que, como em geral, não é muito difícil de se obter. Os teoremas de representação são usados para o resultado recíproco, conhecido como completude, que afirma que toda fórmula TK-válida é um TK-teorema. A construção de uma lógica proposicional permite uma avaliação mais clara das relações entre lógica e álgebra e, neste caso particular, qual o papel desempenhado pelos operadores de Tarski. Finalmente, a construção proposta em nosso trabalho assume como sistema básico as álgebras de Boole, mas o que podemos alcançar com outros sistemas algébricos? As TK-álgebras introduzem um operador de modalidade (conseqüência) e resta compara-los com os muitos sistemas modais conhecidos na literatura.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Mauri Cunha do Nascimento - Coordenador.
2000 - 2002

Sobreanéis de valorização de um domínio de Krull, Descrição: O objetivo deste projeto é estudar a família de sobreanéis de valorização de um domínio de Krull para, a partir daí, estudar propriedades relativas a domínios de Krull, como por exemplo, o Teorema de base de Hilbert para esses domínios.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Mauri Cunha do Nascimento - Coordenador.
1996 - 1999

Um estudo sobre curvas descritas pelos vértices de famílias de parábolas com o auxílio do microcomputador, Descrição: O propósito deste projeto foi estudar a variação de coeficientes de equações de curvas, objetivando novos resultados que podem ser obtidos de tal variação.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Mauri Cunha do Nascimento - Coordenador.
1996 - 1999

Anéis de polinômios sobre domínios de Krull, Descrição: O objetivo deste Projeto foi realizar um estudo sobre a dimensão de anéis de polinômios sobre domínios de Krull. No caso geral, existe um resultado bastante conhecido: se R é um anel de dimensão finita, então 1+dim R dim R 2dim R + 1 e, no caso de R ser um anel noetheriano ou um domínio de Prüfer, então dim R[X] = dim R + 1. Em nosso trabalho, embora não tenhamos resolvido o problema de forma definitiva, conseguimos melhorar o resultado geral para o caso de R ser um domínio de Krull. Coseguimos mostrar que, neste caso 1 + dim R <= dim R[X] <= 2dim R.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Mauri Cunha do Nascimento - Coordenador.
1993 - 1996

Domínios de Krull, Descrição: Em nossa Tese de Doutorado já havíamos concluído que não, a partir da construção de um domínio de Krull, com grupo de classes Z/2Z, contendo um ideal primo minimal que não era finitamente gerado, porém, tal domínio tinha dimensão infinita. Permaneceu a questão para domínios de Krull com dimensão finita. Durante o desenvolvimento deste Projeto, conseguimos uma resposta também negativa para esta questão, construindo um domínio de Krull de dimensão 3, com grupo de classes Z/2Z e contendo um ideal primo minimal que não é finitamente gerado.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Mauri Cunha do Nascimento - Coordenador.

Histórico profissional

Endereço profissional

Universidade Estadual Paulista Júlio de Mesquita Filho, Faculdade de Ciências de Bauru, Departamento de Matemática. , Avenida Luiz Edmundo C. Coube 14-01 - Departamento de Matemática/FC, Vargem Limpa, 17033360 - Bauru, SP - Brasil, Telefone: (14) 31036086, Ramal: 7720, Fax: (14) 31036096, URL da Homepage:

Experiência profissional

1993 - 2015

Universidade Estadual Paulista Júlio de Mesquita Filho

Vínculo: Servidor Público, Enquadramento Funcional: PROFESSOR ASSISTENTE DOUTOR, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

09/2000
Conselhos, Comissões e Consultoria, Faculdade de Arquitetura Artes e Comunicação de Bauru, .,Cargo ou função, Membro do Comitê Científico da Revista Educação Gráfica.
01/2003 - 03/2015
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .,Cargo ou função, · Consultor ?ad-hoc? em processo do Programa Institucional de Bolsas de Iniciação Científica da Unesp.
02/2013 - 02/2015
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .,Cargo ou função, Membro titular do Conselho do Curso de Licenciatura em Matemática.
03/2014 - 11/2014
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Estruturas Algébricas
01/2013 - 01/2014
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Teoria dos Conjuntos - 60 horas - 36 alunos, Teoria dos Números - 60 horas - 28 alunos, Teoria dos Conjuntos - Regime de recuperação, Teoria dos Números - Regime de recuperação
10/2013 - 12/2013
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Presidente da Comissão para Elaboração do Horário do Curso de Licenciatura em Matemática para 2014..
01/2013 - 12/2013
Ensino, Física, Nível: Graduação,Disciplinas ministradas, Cálculo Diferencial e Integral II - RA - 1 aluno, Cálculo Diferencial e Integral II - 60 horas - 48 alunos, Elementos de Álgebra Linear - 60 horas - 14 alunos, Cálculo Diferencial e Integral II - Regime de recuperação, Elementos de Álgebra Linear - Regime de recuperação
01/2013 - 12/2013
Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.,Atividade de extensão realizada, Membro da Comissão Organizadora da XX Olimpíada Regional de Matemática da UNESP de Bauru, atingindo um público de aproximadamente 1000 pessoas entre alunos e professores da Rede Oficial de Ensino.
01/2013 - 12/2013
Outras atividades técnico-científicas , Faculdade de Ciências de Bauru, Faculdade de Ciências de Bauru.,Atividade realizada, Parecer em projeto de iniciação científica.
01/2013 - 12/2013
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Membro da Comissão de professores responsáveis pela Semana da Licenciatura em Matemática - Unesp/FC - Campus de Bauru.
12/2011 - 12/2013
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Membro suplente do Conselho do Departamento de Matemática.
02/2011 - 02/2013
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .,Cargo ou função, Membro Titular do Conselho do Curso de Licenciatura em Matemática.
08/2012 - 12/2012
Ensino, Licenciatura Em Física, Nível: Graduação,Disciplinas ministradas, Elementos de Ágebra Linear - Regime especial
08/2012 - 12/2012
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Teoria dos Números - 34 alunos - 4 créditos
08/2012 - 12/2012
Ensino, Física, Nível: Graduação,Disciplinas ministradas, Cálculo II - 35 alunos - 4 créditos
01/2012 - 12/2012
Extensão universitária , Faculdade de Ciências de Bauru, .,Atividade de extensão realizada, Membro da Comissão Organizadora da XIX Olimpíada Regional de Matemática da UNESP de Bauru, atingindo um público de aproximadamente 1000 pessoas entre alunos e professores da Rede Oficial de Ensino.
01/2012 - 12/2012
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Parecerista em 1 plano de carreira docente.
10/2012 - 11/2012
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Presidente da Comissão para Elaboração do Horário do Curso de Licenciatura em Matemática para 2013..
08/2012 - 09/2012
Outras atividades técnico-científicas , Faculdade de Ciências de Bauru, Faculdade de Ciências de Bauru.,Atividade realizada, Parecerista na 1ª fase do XXIII Congresso de Iniciação Científica da UNESP.
08/2012 - 08/2012
Extensão universitária , Faculdade de Ciências de Bauru, .,Atividade de extensão realizada, Introdução ao Superlogo - minicurso de 4 horas na Semana de Licenciatura em Matemática - SELMAT 2012.
02/2012 - 08/2012
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Membro da Comissão de professores responsáveis pela Semana da Licenciatura em Matemática - UNESP/FC - Câmpus de Bauru.
02/2012 - 07/2012
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Informática Aplicada à Educação Matemática - 10 alunos - 4 créditos, Teoria dos Números - Regime Especial
02/2012 - 07/2012
Ensino, Licenciatura Em Física, Nível: Graduação,Disciplinas ministradas, Elementos de Álgebra Linear - 35 alunos - 4 créditos
02/2012 - 07/2012
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Cálculo II - Regime especial
08/2011 - 12/2011
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Cálculo II - 4 créditos - 61 alunos
07/2011 - 12/2011
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Membro da Comissão para Elaboração do Horário do Curso de Licenciatura em Matemática para 2012.
03/2011 - 12/2011
Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.,Atividade de extensão realizada, Membro da Comissão Organizadora da XIX Olimpíada Regional de Matemática da UNESP de Bauru, atingindo um público de aproximadamente 1000 pessoas entre alunos e professores da Rede Oficial de Ensino.
03/2011 - 12/2011
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Membro da Comissão de Reestruturação do Curso de Licenciatura em Matemática - FC/UNESP - Câmpus de Bauru.
02/2011 - 12/2011
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Estruturas algébricas - 4 créditos - 33 alunos; Teoria dos Números - 4 créditos - 43 alunos; Teoria dos Números - Regime Especias - 6 alunos; Estruturas Algébricas - Regime Especial - 5 alunos
02/2011 - 12/2011
Ensino, Licenciatura Em Física, Nível: Graduação,Disciplinas ministradas, Álgebra Linear - 4 créditos - 26 alunos; Álgebra Linear - Regime Especial - 3 alunos
02/2011 - 12/2011
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Membro da Comissão responsável pela Semana da Licenciatura em Matemática.
01/2011 - 12/2011
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Consultor: 1 Proj. de Curso de Extensão, 2 Planos de Carreira Docente, 2 Relatórios de Atividades Docentes, 1 Relatório de Projeto de Extensão e 2 Trabalhos para Congresso de Iniciação Científica.
12/2009 - 12/2011
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Membro Titular do Conselho de Departamento.
02/2009 - 02/2011
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .,Cargo ou função, Membro Titular do Conselho do Curso de Licenciatura em Matemática.
11/2010 - 12/2010
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Membro da Comissão para elaboração do horário do Curso de Licenciatura em Matemática/FC/UNESP para o ano de 2011.
02/2010 - 12/2010
Ensino, Curso de Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Geometria, 8 créditos, anual, 37 alunos, Teoria dos Números, Regime especial, 2 alunos, Teoria dos Números, 4 créditos, semestral, 47 alunos, Estruturas Algébricas, regime especial, 7 alunos, Estruturas Algébricas, 4 créditos, semestral, 49 alunos
02/2010 - 12/2010
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Membro da Comissão responsável pela Semana da Licenciatura em Matemática - UNESP/FC - Campus de Bauru.
01/2010 - 12/2010
Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.,Atividade de extensão realizada, Membro da Comissão Organizadora da XVII Olimpíada Regional de Matemática da UNESP de Bauru com a participação de cerca de 300 alunos da Rede Oficial de Ensino.
01/2010 - 12/2010
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Membro da Comissão Organizadora da XVII Olimpíada Regional de Matemática da UNESP de Bauru.
01/2010 - 12/2010
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Relato e Parecer em 01 relatório Anual de Atividades, 01 Projeto de Curso de Extensão, 01 Proj. de Evento de Extensão, 01 Relatório de Evento Científico, 01 Relatório de Estágio de Pós-Doutoramento, 02 Resumos para Congresso de Iniciação Científica.
11/2009 - 12/2009
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Membro da Comissão para elaboração do horário do Curso de Licenciatura em Matemática/FC/UNESP para o ano de 2010.
03/2009 - 12/2009
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Estruturas Algébricas - Regime Especial, 3 alunos, Estruturas Algébricas - 4 créditos, semestral, 35 alunos, Geometria - 8 créditos, anual, 40 alunos, Teoria dos Números - Regime Especial, 3 alunos, Teoria dos Números - 4 créditos, semestral, 36 alunos
03/2009 - 12/2009
Outras atividades técnico-científicas , Faculdade de Ciências de Bauru, Faculdade de Ciências de Bauru.,Atividade realizada, Coordenação do Seminários Regulares do Grupo de Pesquisa SALCI (com base no CNPq ).
03/2009 - 12/2009
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Presidente do Conselho de Classe do 1º ano do Curso de Licenciatura em Matemática.
01/2009 - 12/2009
Extensão universitária , Faculdade de Ciências de Bauru, .,Atividade de extensão realizada, Membro da Comissão Organizadora da XVII Olimpíada Regional de Matemática da UNESP de Bauru - ORMUB.
01/2009 - 12/2009
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Parecer em 2 trabalhos para congresso do PIBIC, 1 projeto de curso de extensão, 1 relatório de Iniciação Científica, 1 projeto de Iniciação Científica, 1 Plano Global de Atividades e Relatório Trienal de Atividades e Pesquisa, 1 projeto de evento cie.
12/2007 - 12/2009
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Membro Titular do Conselho do Departamento de Matemática.
03/2009 - 09/2009
Conselhos, Comissões e Consultoria, Faculdade de Arquitetura Artes e Comunicação de Bauru, .,Cargo ou função, Membro do Comitê Científico do GRAPHICA2009, realizado pela FAAC e promovido pela ABEG - Associação Brasileira de Expressão Gráfica..
07/2009 - 07/2009
Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.,Atividade de extensão realizada, Responsável pela participação dos alunos do Curso de Licenciatura em Matemática no 27º Colóquio Brasileiro de Matemática, durante o período de 27 a 31 de julho de 2009, no IMPA - Rio de Janeiro..
02/2007 - 02/2009
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .,Cargo ou função, Conselho do Curso de Licenciatura em Matemática (Suplente).
08/2008 - 12/2008
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Teoria dos Números
03/2008 - 12/2008
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Geometria
03/2008 - 12/2008
Outras atividades técnico-científicas , Faculdade de Ciências de Bauru, Faculdade de Ciências de Bauru.,Atividade realizada, Coordenação do Seminários Regulares do Grupo de Pesquisa SALCI (com base no CNPq ).
01/2008 - 12/2008
Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.,Atividade de extensão realizada, Membro da Comissão Organizadora da XVI ORMUB - Olimpíada Regional de Matemática..
12/2006 - 12/2008
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Comissão Interna de Informática.
10/2008 - 10/2008
Conselhos, Comissões e Consultoria, Universidade Estadual de Londrina, .,Cargo ou função, Assessor Externo.
03/2008 - 07/2008
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Estruturas Algébrica
08/2007 - 12/2007
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Teoria dos Números
03/2007 - 12/2007
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Geometria
12/2006 - 12/2007
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .,Cargo ou função, Membro do Conselho do Departamento de Matemática.
10/1999 - 12/2007
Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.,Atividade de extensão realizada, Olimpíada Regional de Matemática (ORMUB)..
10/2007 - 10/2007
Extensão universitária , Campus Experimental de Itapeva - Unesp, .,Atividade de extensão realizada, Programa Teia do Saber.
07/2007 - 07/2007
Conselhos, Comissões e Consultoria, Universidade Estadual de Londrina, .,Cargo ou função, Assessor Externo "ad hoc".
03/2007 - 07/2007
Ensino, Licenciatura Em Física, Nível: Graduação,Disciplinas ministradas, Álgebra Linear
02/2005 - 02/2007
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .,Cargo ou função, Membro de conselho do Curso de Licenciatura em Matemática.
08/2006 - 12/2006
Ensino, Engenharia de Produção, Nível: Graduação,Disciplinas ministradas, Geometria Analítica e Álgebra Linear
03/2006 - 12/2006
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Geometria
03/2006 - 12/2006
Extensão universitária , Faculdade de Ciências de Bauru, .,Atividade de extensão realizada, Comissão Organizadora da "14ª Olimpíada Regional de Matemática".
12/2004 - 12/2006
Direção e administração, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Vice-chefe.
11/2006 - 11/2006
Extensão universitária , Faculdade de Ciências de Bauru, .,Atividade de extensão realizada, Minicurso "SuperLogo: Programação para o Estudo de Geometria".
10/2006 - 10/2006
Extensão universitária , Campus Experimental de Itapeva - Unesp, .,Atividade de extensão realizada, Programa de Educação Continuada "Teia do Saber".
07/2006 - 09/2006
Extensão universitária , Faculdade de Filosofia e Ciências - Campus de Marília, .,Atividade de extensão realizada, Programa de Educação Continuada "Teia do Saber".
08/2004 - 08/2006
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .,Cargo ou função, Membro de comissão permanente de informática.
03/2006 - 07/2006
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Geometria Analítica e àlgebra Linear
05/2006 - 05/2006
Extensão universitária , Faculdade de Arquitetura Artes e Comunicação de Bauru, .,Atividade de extensão realizada, Palestra no Curso Pré-Vestibular Lions e Unesp.
03/2006 - 03/2006
Extensão universitária , SESC/Bauru, .,Atividade de extensão realizada, Palestras para os Monitores da Exposição "Nem + Nem - Qual é a da Matemática?".
03/2005 - 12/2005
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Geometria
03/2005 - 12/2005
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Geoimetria Analítica e Álgebra Linear, Matemática II
01/2003 - 12/2005
Pesquisa e desenvolvimento , Faculdade de Ciências de Bauru, .,Linhas de pesquisa
12/2002 - 08/2005
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Membro da comissão permanente de Seleção de Bolsista.
05/2005 - 05/2005
Extensão universitária , Faculdade de Arquitetura Artes e Comunicação de Bauru, .,Atividade de extensão realizada, Aula no Curso Pré-Vestibular Lions & Unesp.
08/2004 - 12/2004
Ensino, Licenciatura Em Física, Nível: Graduação,Disciplinas ministradas, Cálculo II
08/2004 - 12/2004
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Estruturas Algébricas
01/2003 - 12/2004
Conselhos, Comissões e Consultoria, Instituto de Biociências Letras e Ciências Exatas de São José do Rio Preto, .,Cargo ou função, Consultor "ad hoc" do Programa Institucional de Bolsas de Iniciação Científica da UNESP.
10/2001 - 12/2004
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Membro suplente do Departamento de Matemática.
01/1997 - 12/2004
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Presidente da Comissão Interna de Informática do Departamento de Matemática.
03/2004 - 07/2004
Ensino, Licenciatura Em Física, Nível: Graduação,Disciplinas ministradas, Geometria Analítica
03/2004 - 03/2004
Extensão universitária , Faculdade de Arquitetura Artes e Comunicação de Bauru, .,Atividade de extensão realizada, Aula no Curso Pré-Vestibular Lions & Unesp.
01/2004 - 01/2004
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .,Cargo ou função, Membro de comissão temporária - preenchimento de vagas por transferência.
08/2003 - 12/2003
Ensino, Licenciatura Em Física, Nível: Graduação,Disciplinas ministradas, Cálculo II
03/2003 - 12/2003
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Introdução à Teoria dos Números
03/2003 - 07/2003
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Lógica
03/2003 - 06/2003
Ensino, ESPECIALIZAÇÃO EM MATEMÁTICA COM ÊNFASE DE RECURSO, Nível: Especialização,Disciplinas ministradas, Tópicos de Matemática II
03/2001 - 01/2003
Direção e administração, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Coordenador de Curso.
03/2001 - 01/2003
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .,Cargo ou função, Membro da Comissão de Ensino da Faculdade de Ciências.
11/1999 - 12/2002
Pesquisa e desenvolvimento , Faculdade de Ciências de Bauru, Departamento de Matemática.,Linhas de pesquisa
11/1999 - 12/2002
Pesquisa e desenvolvimento , Faculdade de Ciências de Bauru, Departamento de Matemática.,Linhas de pesquisa
03/1993 - 12/2002
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Cálculo II, Elementos da Teoria de Galois, Estruturas Algébricas, Geometria, Geometria Analítica, Informática Aplicada à Educação Matemática, Introdução à Teoria dos Números, Superfícies Poliédricas
03/1993 - 12/2002
Ensino, Licenciatura Em Física, Nível: Graduação,Disciplinas ministradas, Álgebra Linear, Cálculo Diferencial e Integral II, Cálculo Diferencial e Integral IV, Geometria Analítica
02/1993 - 12/2002
Ensino, Engenharia, Nível: Graduação,Disciplinas ministradas, Cálculo Diferencial e Integral III, Cálculo Diferencial e Integral IV, Elementos de Álgebra Linear, Geometria Analítica e Álgebra Linear I, Geometria Analítica e Álgebra Linear II
03/2000 - 03/2002
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .,Cargo ou função, Membro da Comissão de Informática da Faculdade de Ciências.
03/1993 - 12/2000
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Matemática II, Lógica, Geometria Analítica e àlgebra Linear
10/1999 - 09/2000
Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.,Atividade de extensão realizada, Trabalhando a Proposta Curricular para o Ensino de Matemática no 2o. Grau: do Discurso à Prática Político-Pedagógica. Introduzindo o Computador como Recurso Didático..
05/1993 - 11/1999
Pesquisa e desenvolvimento , Faculdade de Ciências de Bauru, Departamento de Matemática.,Linhas de pesquisa
01/1998 - 12/1998
Extensão universitária , Faculdade de Ciências de Bauru, Departamento de Matemática.,Atividade de extensão realizada, Trabalhando a Proposta Curricular para o Ensino de Matemática no 2o Grau: do discurso à prática - introduzindo o uso do computador.
01/1996 - 01/1997
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .,Cargo ou função, Membro da Comissão Local de Informática.
04/1994 - 11/1996
Direção e administração, Faculdade de Ciências de Bauru, Departamento de Matemática.,Cargo ou função, Chefe de Departamento.
03/1996 - 07/1996
Ensino, Curso de Esp. em Ensino de Ciências e Matemática, Nível: Especialização,Disciplinas ministradas, Aspectos da Matemática Elementar sob o Ponto de Vista Avançado
08/1993 - 08/1995
Conselhos, Comissões e Consultoria, Faculdade de Ciências de Bauru, .,Cargo ou função, Membro da Comissão de Pesquisa da Faculdade de Ciências.

1979 - 1993

Universidade Estadual de Londrina

Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/1981 - 05/1993
Pesquisa e desenvolvimento , Centro de Ciências Exatas, Departamento de Matemática.,Linhas de pesquisa
08/1979 - 05/1993
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Álgebra, Álgebra Linear, Cálculo, Lógica
12/1989 - 12/1991
Direção e administração, Centro de Ciências Exatas, Departamento de Matemática.,Cargo ou função, Chefe de Departamento.
03/1987 - 07/1987
Ensino, Mestrado Em Matemática, Nível: Pós-Graduação,Disciplinas ministradas, Álgebra Linear
03/1985 - 07/1985
Ensino, Mestrado Em Matemática, Nível: Pós-Graduação,Disciplinas ministradas, Álgebra Linear
08/1979 - 03/1981
Pesquisa e desenvolvimento , Centro de Ciências Exatas, Departamento de Matemática.,Linhas de pesquisa