Um Convite à Matemática: com técnicas de demonstração e notas históricas

Como se estruturam a lógica, os teoremas e as conjecturas matemáticas? As bases desse admirável universo são explicadas nesta obra. O autor apresenta os fundamentos básicos da lógica matemática e explica como as ideias nesse campo do conhecimento funcionam. O livro permite aos alunos do último ano do ensino médio e aos que ingressaram no primeiro ano das universidades terem um contato mais sólido com o formalismo e a abstração necessários para tornar inteligível algumas das primeiras disciplinas da matemática.

O raciocínio lógico dedutivo é fundamental para os estudantes de matemática. Na busca de desenvolvê-lo, num curto intervalo de tempo, o autor coloca os leitores em contato com as notações mais utilizadas, sentenças, a definição e demonstração de teoremas, modelos axiomáticos e convenções matemáticas, conjecturas e problemas famosos, o princípio de indução, os números de Fermat, primos gêmeos, resumo e tabela-resumo das técnicas de demonstração, além de muitas curiosidades.