Matemática Fundacional para Computação

Notas de Thanos Tsouanas para cursos de:

(Escritas em português do Brasil de Θάνος.)

Download the book

WARNING: This project is a work in progress and isn't even 21% 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 (845 pages): 2022-12-06, 02:29 -03. Download PDF.

Source code: Git repo on GitHub.

Video lectures

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--2022},
 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. Conjuntos
  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 axiomática dos conjuntos
  15. Espaços métricos
  16. Topologia geral
  17. Teoria das categorias
  18. Teoria dos tipos
  19. Lambdas e combinadores
  20. Semântica denotacional
  21. Teasers