Matemática Fundacional para Computação

Download the book

WARNING: This project is a work in progress and isn't even 32% complete; it is full of mistakes and typos, and it is highly active: I keep writing new content and re-writing old all the time! Also, I keep moving exercises, theorems, and even whole chapters around, so it makes no sense to refer to any item “by number” until they converge—if ever.

Bottom line is: use it at your own risk.

Last build (911 pages): 2025-05-29, 01:45 -03. Download PDF.

Source code: Git repo on GitHub.

Video lectures

• Fundamentos Matemáticos para Computação 1, 2022.2
  • Introdução, 2022.2: (cap: 1–2)
  • IDMa (Introdução à Demonstração Matemática: teoria dos números inteiros), 2022.2: (cap: 3)
  • IRI (Introdução à Recursão e Indução), 2022.2: (cap: 4)
  • IDMb (Introdução à Demonstração Matemática: teoria dos números reais), 2022.2: (cap: 6)
• Fundamentos Matemáticos para Computação 2, 2023.1
  • CFR 1 & 2 (Conjuntos, Funções, Relações), 2023.1: (cap: 7,8,9,12,13,14,15)
  • IEA (Introdução as Estruturas Algébricas), 2023.1: (cap: 10,11,14)
• Programação Funcional

How to cite

Here's a BibTeX entry you can use:

@book{fmcbook,
 author={Thanos Tsouanas},
 title={Matemática Fundacional para Computação},
 year={2017--2024},
 note={Work in progress},
 publisher={\url{http://www.tsouanas.org/fmcbook}},
 address={Universidade Federal do Rio Grande do Norte},
}

Chapters

1. Introduções
2. Demonstrações
3. Os inteiros
4. Recursão; indução
5. Combinatória enumerativa
6. Os reais
7. Tipos
8. Coleções
9. Funções
10. Relações
11. Teoria dos grupos
12. Estruturas algébricas
13. O paraíso de Cantor
14. Posets; reticulados
15. Teoria das categorias
16. Teoria dos conjuntos
17. Espaços métricos
18. Topologia geral
19. Teoria dos tipos
20. Lambdas e combinadores
21. Semântica denotacional
22. Teasers