Matemática Fundacional para Computação

Download the book

WARNING: This project is a work in progress and isn't even 26% 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 (851 pages): 2023-05-06, 01:17 -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 1, 2019.2
• Fundamentos Matemáticos para Computação 2, 2019.1
• Fundamentos Matemáticos para Computação 2, 2018.2
• 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--2023},
 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. Coleções
8. Funcções
9. Relações
10. Teoria dos grupos
11. Estruturas algébricas
12. O paraíso de Cantor
13. Posets; reticulados
14. Teoria das categorias
15. Teoria axiomática dos conjuntos
16. Espaços métricos
17. Topologia geral
18. Teoria dos tipos
19. Lambdas e combinadores
20. Semântica denotacional
21. Teasers