Guilherme Messias Pereira Lima
-
Resumo
-
Doutor em filosofia, na área de Lógica, Filosofia da Lógica e Filosofia da Linguagem, pela Universidade de São Paulo. Bacharel em Matemática Pura pela Universidade Estadual Paulista Júlio de Mesquita Filho (2006). Licenciado em Matemática (USP e IBRA). Bacharel (2014) e Licenciado (2018) em Filosofia pela Universidade de São Paulo. Atualmente atua como Professor EBTT de Matemática do Instituto federal de Educação, Ciência e Tecnologia do Espírito Santo - IFES. Foi medalhista de prata - nacional - na OBA (Olimpíada Brasileira de Astronomia - UFRJ) - nível médio. Coautor dos volumes de matemática para ensino fundamental 2, Projeto Lume (Programa Múltiplo), Oxford University Press do Brasil e responsável técnico pelos volumes de matemática do Guia do Estudante (2011 - 2012), Editora Abril.Tem interesse em temas relacionados à Matemática, Filosofia da Matemática, Lógica, Lógica modal, Lógica e Geometria e Metafísica das modalidades. Tem experiência na área de Matemática, com ênfase em Geometria e Topologia, assim como em Matemática, com ênfase em educação e avaliação em matrizes por competências.
-
-
Livros publicados: 4
- LIMA, G. M. P. ; TOLEDO, L. A. . Projeto Lume Matemática (9. ano). SAO PAULO : Oxford University Press do Brasil, 2013 . 360p. ISBN: 9788565547178.
- LIMA, G. M. P. ; SOARES NETO, A. ; TOLEDO, L. A. . Projeto Lume Matemática (8. ano). SAO PAULO : Oxford University Press do Brasil, 2013 . 392p. ISBN: 9788565547161.
- LIMA, G. M. P. ; BRANCALHAO, A. ; TOLEDO, L. A. . Projeto Lume Matemática (7. ano). SAO PAULO : Oxford University Press do Brasil, 2013 . 376p. ISBN: 9788565547154.
- LIMA, G. M. P. ; BRANCALHAO, A. ; TOLEDO, L. A. . Projeto Lume Matemática (6. ano). SAO PAULO : Oxford University Press do Brasil, 2013 . 368p. ISBN: 9788565547147.
-
Outras Produções Bibliográficas: 8
- LIMA, G. M. P. ; MARTON, F. . Matemática IV. São Paulo : Editora Abril , 2012 (Curso preparatório ENEM)
- LIMA, G. M. P. ; MARTON, F. . Matemática III. São Paulo : Editora Abril , 2012 (Curso preparatório ENEM)
- LIMA, G. M. P. ; MARTON, F. . Matemática II. São Paulo : Editora Abril , 2012 (Curso preparatório ENEM)
- LIMA, G. M. P. ; MARTON, F. . Matemática I. São Paulo : Editora Abril , 2012 (Curso preparatório ENEM)
- LIMA, G. M. P. ; MARTON, F. . Matemática IV / Abril coleções (Curso preparatório Enem). São Paulo : Editora Abril , 2011 (Curso preparatório ENEM)
- LIMA, G. M. P. ; MARTON, F. . Matemática III / Abril coleções (Curso preparatório Enem). São Paulo : Editora Abril , 2011 (Curso preparatório ENEM)
- LIMA, G. M. P. ; MARTON, F. . Matemática II/ Abril coleções (Curso preparatório Enem). São Paulo : Editora Abril , 2011 (Curso preparatório ENEM)
- LIMA, G. M. P. ; MARTON, F. . Matemática / Abril coleções (Curso preparatório Enem). São Paulo : Editora Abril , 2011 (Revista informativa/didática)
-
Apresentações de Trabalho: 8
- LIMA, G. M. P. ; SOUZA, E. G. . Métrica para o modelo topo S4-canônico e sua compacidde. 2024 (Congresso)
- LIMA, G. M. P. ; SOUZA, E. G. . Métrica para o modelo Topo S4-Canônico para a Lógica Modal Quantificada. 2022 (Comunicacao)
- LIMA, G. M. P. . Cálculo de sequentes de Gentzen para a lógica modal proposicional. 2015 (Comunicacao)
- LIMA, G. M. P. . Estrutura Topológica da Lógica Modal S4. 2019 (Comunicacao)
- LIMA, G. M. P. . Estrutura topológica da lógica modal S4. 2019 (Conferência)
- LIMA, G. M. P. . Lógica modal de predicados - Abordagem por uma perspectiva histórica sobre a questão dos existentes e das modalidades. 2015 (Comunicacao)
- LIMA, G. M. P. . Lógica modal - Uma abordagem sintática e semântica. 2015 (Comunicacao)
- LIMA, G. M. P. . Lógica modal - Uma abordagem sintática e semântica. 2014 (Comunicacao)
-
Organização de eventos: 2
- LIMA, G. M. P. . Jornada de Integração do IFES Região Norte. 2024 (IFES)
- LIMA, G. M. P. . Jornada de Integração do IFES Região Norte. 2023 (IFES)
-
Projetos de Pesquisa: 3
-
Nome do projeto: Semântica Topológica para Lógicas Modais (2016
- 2021
Natureza: Pesquisa
Integrantes: LIMA, G. M. P. .
Descrição: Estudar como semânticas topológicas podem ser utilizadas para embasar certo posicionamento pragmático na escolha por um contexto lógico mediador de argumentos filosóficos, como aqueles da Metafísica. Com isso, avaliar uma posição cética-moderada frente a viabilidade e os limites para a construção filosófica de teorias metafísicas, embasadas em certos aspectos empíricos, na inter-relação dos espaço lógico, de representação e físico. -
Nome do projeto: Curso de Introdução à Lógica e Programação (2023
Atual)
Natureza: Ensino
Integrantes: LIMA, G. M. P. .
Descrição: Este projeto de ensino, ofertado ao longo de 2023 a alunos do Ensino Médio Integrado do IFES - campus Montanha, visa tratar de assuntos elementares de Lógica (história, tabelas de verdade, linguagem de primeira ordem, lógica para concursos e aspectos filosóficos), assim como resolver problemas básicos por meio de algoritmos e construção de programas usando linguagem C++ -
Nome do projeto: Preparação para as Olimpíadas de Matemática (2023
- 2023
Natureza: Ensino
Integrantes: LIMA, G. M. P. , CODECO, P. D. F. , DE OLIVEIRA, J. R. S. .
Descrição: Preparação de alunos do EM do IFES, Campus Montanha, para olimpíadas de Matemática, em especial OBMEP e OMIF
-
Nome do projeto: Semântica Topológica para Lógicas Modais (2016
- 2021
-
Formação Acadêmica: 2
-
Graduacao:
-
Curso: Segunda Licenciatura em Matemática
Nome da Instituição: Faculdade IBRA de Brasília
Ano de conclusão: 2023
-
Curso: Licenciatura em Matemática
Nome da Instituição: Universidade de São Paulo
Ano de conclusão: 2022
Status do curso: Incompleto -
Curso: Licenciatura em Filosofia
Nome da Instituição: Universidade de São Paulo
Título: Lógica modal de predicados ? Abordagem por uma perspectiva histórica sobre a questão dos existentes e das modalidades
Ano de conclusão: 2018
-
Curso: Filosofia
Nome da Instituição: Universidade de São Paulo
Título: Caracterização do cálculo de sequentes de Gentzen para a lógica modal proposicional
Ano de conclusão: 2014
-
Curso: Bacharelado em Matemática
Nome da Instituição: Universidade Estadual Paulista Júlio de Mesquita Filho
Título: Classificação topológica das superfícies
Ano de conclusão: 2006
-
Curso: Segunda Licenciatura em Matemática
-
Doutorado:
-
Curso: Filosofia
Nome da Instituição: Universidade de São Paulo
Ano de conclusão: 2021
-
Curso: Filosofia
-
Graduacao:
-
Atuação Profissional: 8
-
Escola Brasileira Israelita Chaim Nachman Bialik:
-
Tipo de vínculo: Livre (2010 -
2011
).
Outras informações: Professor
-
Tipo de vínculo: Livre (2010 -
2011
).
-
Colégio Giordano Bruno:
-
Tipo de vínculo: Livre (2010 -
2010
).
Outras informações: Professor
-
Tipo de vínculo: Livre (2010 -
2010
).
-
Adaptativa Inteligência Educacional:
-
Tipo de vínculo: Professor_visitante (2013 -
2017
).
Outras informações: Empresa especializada em produtos educacionais voltados para preparação para o ENEM e outros vestibulares
Outras informações: Coordenador de matemática
-
Tipo de vínculo: Professor_visitante (2013 -
2017
).
-
Etapa Educacional:
-
Tipo de vínculo: Professor_visitante (2014 -
2020
).
Outras informações: Plantonista de matemática
-
Tipo de vínculo: Professor_visitante (2014 -
2020
).
-
Universidade de São Paulo:
-
Tipo de vínculo: Livre (2016 -
2021
).
Outras informações: Pesquisador na área de Lógica, Filosofia da lógica e Filosofia da linguagem
Outras informações: Doutorando
-
Tipo de vínculo: Livre (2016 -
2021
).
-
Anima Educação:
-
Tipo de vínculo: Celetista (2020 -
2022
).
Outras informações: Coordenador da Gerência de Avaliação. Vice-presidência Acadêmica da Ânima Educação
Outras informações: Analista Sênior
-
Tipo de vínculo: Celetista (2020 -
2022
).
-
Universidade de São Paulo:
- Tipo de vínculo: Livre (2016 - 2021 ).
-
Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo:
- Tipo de vínculo: Servidor_publico ( - Atual ).
- Tipo de vínculo: Livre ( - ).
-
Escola Brasileira Israelita Chaim Nachman Bialik: