Repositório Oficial do Projeto Matemática no Economia Mainstream
O livro com o resumo/tradução pode ser encontrado nesse link: https://github.com/brunoruas2/ProjetoMatematica/blob/main/Book%20of%20Proof%20-%20Richard%20Hammack/book_of_proof.pdf
- Conversor LaTeX-HTML
- Conjuntos
- Lógica
- Contagem
- Listas
- O Princípio da Multiplicação
- Os Princípios da Adição e Subtração
- Fatoriais e Permutações
- Contando Subconjuntos
- O Triângulo de Pascal e O Teorema Binomial
- O Princípio da Inclusão-Exclusão
- Contando Multiconjuntos
- Os Princípios da Divisão e da Casa dos Pombos
- Prova Combinatorial
- Prova Direta
- Teoremas
- Definições
- Prova Direta
- Usando casos
- Lidando com casos similares
- Prova Contra-Positiva
- Prova Contrapositiva
- Congruência dos Inteiros
- A Escrita Matemática
- Prova por Contradição
- Provando Proposições com Contradições
- Provando Proposições Condicionais com Contradições
- Combinando Técnicas
- Algumas Palavras de Alerta
- Prova de Afirmações Não-Condicionais
- Provas de "Se, e somente se"
- Proposições equivalentes
- Provas de Existência; Prova de Existência e Unicidade
- Provas Construtivas e não-Construtivas
- Provas Envolvendo Conjuntos
- Contraprova
- Indução Matemática
- Relações
- Funções
- Provas com Cálculo Infinitesimal
- Cardinalidade de Conjuntos