Gilmar Pires Novaes

Inglês

Compreende PoucoLê Bem, Escreve Pouco.

Espanhol

Compreende RazoavelmenteLê Razoavelmente.

Português

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

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Geometria e Topologia/Especialidade: Geometria Diferencial.

APOLINÁRIO, H. C. F.; ROCHA, R. A.;NOVAES, Gilmar Pires. Ensino e Resolução de Equações Algébricas de 3º e 4º Graus na 3ª Série do Ensino Médio do Colégio Estadual Raimundo Alencar Leão. 2016. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

ROCHA, R. A.; APOLINÁRIO, H. C. F.;NOVAES, Gilmar Pires. O Ensino e a Aprendizagem das Grandezas e Medidas: uma Experiência Prática do Ensino Fundamental. 2016. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

MESQUITA, Élis Gardel da C.; RODRIGUES, A.;NOVAES, Gilmar Pires. Lema de Watson. 2015. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

ALMEIDA, Gisele Detomazi; ARAÚJO, Adjunyio J. de;NOVAES, Gilmar Pires. Uma Apresentação do Teorema de Euler e a Demonstração de Cauchy. 2014. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

ALMEIDA, Gisele Detomazi;NOVAES, Gilmar Pires; OLIVEIRA, Hudson P.. Introdução à Teoria dos Grafos e Aplicações. 2014. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

MESQUITA, Élis Gardel da C.;NOVAES, Gilmar Pires; OLIVEIRA, Hudson P.. Introdução a Variáveis Complexas: um Problema de Riemann-Hilbert. 2014. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

RODRIGUES, Rochelande F.;NOVAES, Gilmar Pires; ARAÚJO, Adjunyio J. de. Teoria dos Jogos: uma Introdução, Análise e Apicação. 2014. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

COSTA, Janaína S. da;NOVAES, Gilmar Pires; RODRIGUES, Rochelande F.. Olhares sobre ser Professor: um Estudo de Caso de Alguns Sujeitos. 2013. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

COSTA, Janaína S. da;NOVAES, Gilmar Pires; RODRIGUES, Rochelande F.. Tecnologias de Informação e Comunicação na Educação: Objetos Educacionais Digitais. 2013. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

RODRIGUES, A.;NOVAES, Gilmar P.; ALMEIDA, Gisele Detomazi. Dos Racionais aos Transcendentes. 2010. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

VERONESE, D. O.; RUSCHEINSKY, D.;NOVAES, Gilmar P.. Caracterização de Isometrias na Reta, no Plano e no Espaço. 2010. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

RODRIGUES, A.; RUSCHEINSKY, D.;NOVAES, Gilmar P.. Um Estudo sobre Números Complexos. 2010. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

ABREU, M. C. B. F.; NASCIMENTO, C. G.;NOVAES, Gilmar P.. Dificuldade de Aprendizagem e Discauculia no Contexto Escolar. 2010. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

VERONESE, D. O.;NOVAES, Gilmar P.; LEONOR, S. J.. Um Estudo Sobre Três Problemas Clássicos da Antiguidade. 2010. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

ALMEIDA, Gisele Detomazi;NOVAES, Gilmar Pires; KHIDIR, K. S.. Sistemas de Equações Lineares: uma Breve Análise dos Métodos de Resolução. 2010. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

RODRIGUES, Rochelande F.; KLEIN, Janete A.;NOVAES, Gilmar Pires. Utilização dos Jogos no Ensino da Matemática: um Enfoque dos Jogos das Quatro Operações. 2010 - Universidade Federal do Tocantins.

RUSCHEINSKY, D.; RODRIGUES, A.;NOVAES, Gilmar Pires. Equações do 1º Grau, Proporcionalidade e Aplicações. 2010. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

RODRIGUES, A.; RUSCHEINSKY, D.;NOVAES, Gilmar Pires. A Matemática na Tomografia Computadorizada Utilizando Logaritmo e Álgebra Linear. 2010. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

MELO, E. A. P.; ALMEIDA, Gisele Detomazi;NOVAES, Gilmar P.. A Formação do Professor de Matemática. 2009. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

VIZOLLI, Idemar; MELO, E. A. P.;NOVAES, Gilmar P.. Ideias Matemáticas: um Estudo sobre o Processo de Cultivo de Hortaliças na Horta Comunitária da Comunidade Quilombola Lagoa da Pedra Arraias TO. 2009. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

ALMEIDA, Gisele Detomazi;NOVAES, Gilmar P.; MELO, E. A. P.. Critérios de Divisibilidade. 2009. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

VIZOLLI, Idemar; NASCIMENTO, C. G.;NOVAES, Gilmar P.. Aprendendo Matemática: reflexões sobre a prática. 2009. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

KHIDIR, K. S.;NOVAES, Gilmar P.; ALMEIDA, Gisele Detomazi. Aplicações de Logaritmo no Ensino Médio. 2009. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

RODRIGUES, A.; RUSCHEINSKY, D.;NOVAES, Gilmar P.. Trigonometria: História, Fundametos e Algumas Aplicações. 2009. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

VERONESE, D. O.;NOVAES, Gilmar Pires. Construção e Propriedades de Alguns Conjuntos Numéricos. 2009. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

VERONESE, D. O.;NOVAES, Gilmar Pires; RODRIGUES, A.. Números Complexos e Aplicações. 2009. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

RUSCHEINSKY, D.;NOVAES, Gilmar P.; ALMEIDA, Gisele Detomazi. Aplicação do Cálculo Diferencial à Economia. 2008. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

ALMEIDA, Gisele Detomazi; RUSCHEINSKY, D.;NOVAES, Gilmar Pires. Funções do Primeiro Grau e suas Aplicações no Cotidiano. 2008. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

COSTA, Eudes Antonio; ALMEIDA, Gisele Detomazi;NOVAES, Gilmar Pires. Construção dos Números Reais: Dedekind e Cantor. 2008. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

MARTINS, Waléria Andrade; MELO, E. A. P.;NOVAES, Gilmar Pires. Softwares para o Ensino de Matemática. 2008. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

COSTA, Eudes Antonio;NOVAES, Gilmar P.; MARTINS, Waléria Andrade. O Ensino da Geometria com Materiais Concretos e Aplicações. 2007. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

MARTINS, Waléria Andrade; FERNANDES, A. M.;NOVAES, Gilmar P.. O Número de Ouro: uma proposta para o Ensino de Matemática. 2007. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

MARTINS, Waléria Andrade;NOVAES, Gilmar P.; ROCHA NETO, J. F.. Séries de Fourier. 2007. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

VERONESE, D. O.;NOVAES, Gilmar P.. Cinco Provas da Infinidade dos Números Primos. 2007. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

COSTA, Eudes Antonio;NOVAES, Gilmar P.. Sequência de Fibonacci e Aplicações. 2007. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

OTINIANO, C. E. G.; RIVEROS, C. M. C;NOVAES, Gilmar P.. Confiabilidade: análise de tempo de falha usando modelos probabilísticos. 2006. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

LEONOR, S. J.;NOVAES, Gilmar P.; COSTA, Eudes Antonio. Cálculo Atuarial: a Matemática na Previdência Social. 2006. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

MARTINS, Waléria Andrade;NOVAES, Gilmar P.; VERONESE, D. O.. Construções com régua e compasso e Cabri Geometre II. 2006. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

ROCHA NETO, J. F.;NOVAES, Gilmar P.; LEONOR, S. J.. Efeito Estufa. 2006. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

COSTA, Eudes Antonio;NOVAES, Gilmar P.; VERONESE, D. O.. Isometrias no Plano e Aplicações. 2006. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

FERNANDES, A. M.;NOVAES, Gilmar P.; VERONESE, D. O.. Matrizes, Sistemas de Equações Lineares e Determinantes. 2006. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

ROCHA NETO, J. F.;NOVAES, Gilmar P.; VERONESE, D. O.. Juros em Operações Financeiras. 2006. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

FERNANDES, A. M.;NOVAES, Gilmar P.; VERONESE, D. O.. Apicações à Teoria dos Grafos. 2006. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

FERNANDES, A. M.;NOVAES, Gilmar P.; MARTINS, Waléria Andrade. Aplicações de Derivadas. 2006. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

COSTA, Eudes Antonio; VERONESE, D. O.;NOVAES, Gilmar P.. Congruência e Criptografia. 2006. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

FERNANDES, A. M.;NOVAES, Gilmar P.; ROCHA NETO, J. F.. Equações Diferenciais de 1.ª Ordem. 2006. Trabalho de Conclusão de Curso (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins.

FERNANDES, A. M.; VERONESE, D. O.;NOVAES, Gilmar Pires. Aplicações à Teoria dos Grafos. 2006. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Tocantins.

NOVAES, Gilmar Pires; CURY, F. G.; VINCIGUERRA, R. W.. Concurso Público para Auxiliar de Ensino, Professor Assistente e Professor Adjunto. 2011. Universidade Federal do Tocantins.

PINEDO, C. J. Q.; ROCHA NETO, J. F.;NOVAES, Gilmar P.. Concurso Público para Auxiliar de Ensino, Professor Assistente e Professor Adjunto. 2006. Universidade Federal do Tocantins.

ROCHA NETO, J. F.; VERONESE, D. O.;NOVAES, Gilmar Pires. Cálculo Numérico, Estudo Matemático de Resolução de Problemas, Trabalho de Conclusão de Curso I. 2006. Universidade Federal do Tocantins.

NOVAES, Gilmar Pires; VERONESE, D. O.; PEREIRA, G. L.. Desenho Geométrico, Geometria Espacial e Seminários e Tópicos de Matemática. 2006. Universidade Federal do Tocantins.

NOVAES, Gilmar Pires; VERONESE, D. O.. Álgebra Linear I. 2006. Universidade Federal do Tocantins.

Desenvolvimento do Raciocínio Lógico por meio do Jogo de Sudoku: um Estudo no 1ª Ano do Ensino Médio do IFT - Câmpus Paraíso; 2018; Dissertação (Mestrado em Mestrado Profissional Rede Nacional em Matemática) - Universidade Federal do Tocantins, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Gilmar Pires Novaes;

Fundamentos de Lógica Matemática para o Ensino Médio: um Estudo Aplicado em Geometria Plana; 2018; Dissertação (Mestrado em Mestrado Profissional Rede Nacional em Matemática) - Universidade Federal do Tocantins, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Gilmar Pires Novaes;

Uma Proposta de Utilização do Winplot no Ensino da Função Quadrática nas Turmas do 9º Ano; 2016; Dissertação (Mestrado em Mestrado Profissional Rede Nacional em Matemática) - Universidade Federal do Tocantins,; Orientador: Gilmar Pires Novaes;

O Uso da Calculadora nas Aulas de Matemática: o que Pensam os Professores de Matemática de Conceição do Araguaia-PA; 2016; Dissertação (Mestrado em Mestrado Profissional Rede Nacional em Matemática) - Universidade Federal do Tocantins, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Gilmar Pires Novaes;

Banco de Questões OBMEP Níveis I e II: Uma Análise Crítico-Construtiva e uma Nova Proposta Metodológica; 2016; Dissertação (Mestrado em Mestrado Profissional Rede Nacional em Matemática) - Universidade Federal do Tocantins, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Gilmar Pires Novaes;

Fibonacci e a Razão Áurea: uma Abordagem para o Ensino Básico; 2016; Dissertação (Mestrado em Mestrado Profissional Rede Nacional em Matemática) - Universidade Federal do Tocantins, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Gilmar Pires Novaes;

Análise Combinatória: uma Abordagem por meio da Resolução de Problemas; 2016; Dissertação (Mestrado em Mestrado Profissional Rede Nacional em Matemática) - Universidade Federal do Tocantins, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Gilmar Pires Novaes;

Da Matemática Básica e Financeira à Educação Financeira: Trabalhando a Economia Doméstica no Ensino Médio para o Controle do Orçamento Familiar; 2016; Dissertação (Mestrado em Mestrado Profissional Rede Nacional em Matemática) - Universidade Federal do Tocantins,; Orientador: Gilmar Pires Novaes;

Geometria Fractal: um olhar sobre a necessidade de inclusão no sistema curricular do ensino médio; 2015; Dissertação (Mestrado em Mestrado Profissional Rede Nacional em Matemática) - Universidade Federal do Tocantins, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Gilmar Pires Novaes;

Estatística no Ensino Médio: uma proposta metodológica de ensino; 2015; Dissertação (Mestrado em Mestrado Profissional Rede Nacional em Matemática) - Universidade Federal do Tocantins,; Orientador: Gilmar Pires Novaes;

Uma Proposta de Utilização do Software Dinâmico Sketchup no Ensino dos Sólidos Geométricos para Turmas do 2º Ano do Ensino Médio; 2014; Dissertação (Mestrado em Mestrado Profissional Rede Nacional em Matemática) - Universidade Federal do Tocantins, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Gilmar Pires Novaes;

O Ensino de Vetores na 1ª Série do Ensino Médio com Auxílio do Geoplano, da Malha Quadriculada e do Geogebra; 2014; Dissertação (Mestrado em Mestrado Profissional Rede Nacional em Matemática) - Universidade Federal do Tocantins, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Gilmar Pires Novaes;

Estudo de Logaritmos com Ênfase à Metodologia de Resolução de Problemas; 2014; Dissertação (Mestrado em Mestrado Profissional Rede Nacional em Matemática) - Universidade Federal do Tocantins, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Gilmar Pires Novaes;

Matemática Financeira: Uma Abordagem Necessária e Diferenciada no Ensino Médio; 2014; Dissertação (Mestrado em Mestrado Profissional Rede Nacional em Matemática) - Universidade Federal do Tocantins, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Gilmar Pires Novaes;

Frações Contínuas: Algumas Aplicações ao Ensino Médio; 2014; Dissertação (Mestrado em Mestrado Profissional Rede Nacional em Matemática) - Universidade Federal do Tocantins, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Gilmar Pires Novaes;

Criptografia: um Tratamento via Congruência; 2015; Trabalho de Conclusão de Curso; (Graduação em Matemática) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Teorema da Curva de Jordan; 2014; Trabalho de Conclusão de Curso; (Graduação em Matemática) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Aplicações dos Métodos de Demonstração em Matemática; 2014; Trabalho de Conclusão de Curso; (Graduação em Matemática) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Frações: um Enfoque às Aplicações; 2010; Trabalho de Conclusão de Curso; (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Método das Potências: uma Aplicação ao Sistema de Buscas na Internet; 2010; Trabalho de Conclusão de Curso; (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Conjuntos: um Enfoque às Aplicações; 2010; Trabalho de Conclusão de Curso; (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Noções sobre Teoria de Grafos: um Enfoque as Aplicações; 2010; Trabalho de Conclusão de Curso; (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Teoria dos Jogos: Aplicações da Eliminação de Estratégias Estritamente Dominadas e do Equilíbrio do Nash; 2010; Trabalho de Conclusão de Curso; (Graduação em Matemática) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Sistemas de Equações Lineares: algumas aplicações; 2009; Trabalho de Conclusão de Curso; (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Razões e Proporções; 2008; Trabalho de Conclusão de Curso; (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Divisibilidade; 2007; Trabalho de Conclusão de Curso; (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Resolução de Equações Polinomiais no Ensino Médio; 2007; Trabalho de Conclusão de Curso; (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Aplicações de Séries de Taylor; 2007; Trabalho de Conclusão de Curso; (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Educação Matemática: o Uso da Informática no Ensino da Matemática; 2007; Trabalho de Conclusão de Curso; (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Equações Diofantinas Lineares e suas Aplicações; 2007; Trabalho de Conclusão de Curso; (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Modelos Econômicos de Leontief; 2007; Trabalho de Conclusão de Curso; (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Aplicações das Funções Seno, Cosseno e Tangente no Triângulo Retângulo; 2007; Trabalho de Conclusão de Curso; (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Método dos Mínimos Quadrados; 2006; Trabalho de Conclusão de Curso; (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Teorema de Pitágoras; 2006; Trabalho de Conclusão de Curso; (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Diagonalização de Matrizes; 2006; Trabalho de Conclusão de Curso; (Graduação em MATEMÁTICA) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

Aplicações da Matemática na Construção de Códigos voltados para a Informática; 2005; Iniciação Científica; (Graduando em Ciência da Computação/Sistemas de Informação) - Universidade Paulista; Orientador: Gilmar Pires Novaes;

Aplicação da Criptografia na Transmissão de Dados e Imagens; 2004; Iniciação Científica; (Graduando em Ciência da Computação/Sistemas de Informação) - Universidade Paulista; Orientador: Gilmar Pires Novaes;

Fundamentos de Matemática I; 2006; Orientação de outra natureza; (Matemática) - Universidade Federal do Tocantins; Orientador: Gilmar Pires Novaes;

LYNGZEIDETSON, A. E. ; NOVAES, Gilmar Pires . RESUMÃO DE LÓGICA. 2010.

HEGENBERG, L. ; NOVAES, Gilmar Pires . LÓGICA - CÁLCULO SENTENCIAL, CÁLCULO DE PREDICADOS, CÁLCULO COM IGUALDADE. 2012.

NOVAES, Gilmar P. . Método das Potências: aplicação a programas de busca na internet. 2006. (Curso de curta duração ministrado/Extensão).