Dando uma folheada rápida no livro da Gersting, achei interessante trazer o sumário, para mostrar quão relacionado este assunto está com computação. Quem sabe eu até traga mais alguns textos sobre esses conteúdos, são bem interessantes.

Segue o sumário do livro:

• 1- Lógica formal
• 2- Demonstrações, recursão e analise de algoritmos
• 3- Conjuntos e combinatória
• 4- Relações, funções e matrizes
• 5- Grafos e Árvores
• 6- Grafos e algoritmos
• 7- Algebra booleana e lógica de computadores
• 8- Modelagem aritmética, computação e linguagens