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 (687 pages): 2019-07-24, 21:06 -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--2019},
 note={Work in progress},
 publisher={\url{http://www.tsouanas.org/fmcbook}},
 address={Universidade Federal do Rio Grande do Norte},
}

Chapters

  1. Introdução
  2. Linguagens
  3. A linguagem de lógica proposicional
  4. A linguagem de lógica de predicados
  5. Demonstrações
  6. Números racionais e irracionais
  7. Recursão; indução
  8. Combinatória enumerativa
  9. Teoria dos números I: divisibilidade
  10. Teoria dos 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. Teoria axiomática dos conjuntos
  23. Posets; Reticulados; Álgebras booleanas
  24. Espaços métricos
  25. Topologia geral
  26. Teoria de grafos
  27. Lambda calculus
  28. Lógica combinatória
  29. Lógica matemática
  30. Recursão e indução estrutural
  31. Computabilidade e complexidade
  32. Teoria de funções recursivas
  33. Linguagens formais
  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