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 has just started 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 (490 pages): 2018-06-23, 04:09 -03. Download PDF.

Source code: Git repo on GitHub.

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. Estratégias de provas
  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. Relações
  15. Programação funcional
  16. Programação lógica
  17. Conjuntos estruturados
  18. Teoria dos grupos
  19. Mais 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