Matemática Fundacional para Computação

Download the book

WARNING: This project is a work in progress and isn't even 12% 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 (576 pages): 2018-12-10, 11:14 -03. Download PDF.

Source code: Git repo on GitHub.

Video lectures

Fundamentos Matemáticos pra Computação 2, 2018.2 [in progress]

How to cite

Here's a BibTeX entry you can use:

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

Chapters

1. Introdução
2. Números racionais e irracionais
3. Linguagens
4. A linguagem de lógica proposicional
5. A linguagem de lógica de predicados
6. Demonstrações
7. Recursão; indução
8. Combinatória enumerativa
9. Teoria de números I: divisibilidade
10. Teoria de números II: congruências
11. Os números naturais: recursão; indução
12. Conjuntos
13. Funções
14. Programação funcional
15. Relações
16. Programação lógica
17. Conjuntos estruturados
18. Teoria dos grupos
19. Estruturas algébricas
20. Os números reais
21. O paraíso de Cantor
22. Posets; Reticulados; Álgebras booleanas
23. Espaços métricos
24. Topologia geral
25. Teoria de grafos
26. Lambda calculus
27. Lógica combinatória
28. Lógica matemática
29. Recursão e indução estrutural
30. Computabilidade e complexidade
31. Teoria de funções recursivas
32. Linguagens formais
33. Teoria axiomática dos conjuntos
34. Bem-ordens e indução transfinita
35. Aritmética ordinal
36. Semântica denotacional
37. Álgebra universal
38. Teoria das categorias
39. Lógica intuicionista
40. Teoria de provas
41. Lógica linear
42. Teoria dos tipos