Matemática Fundacional para Computação
Notas de Thanos Tsouanas para cursos de:
- Fundamentos Matemáticos
- Matemática Discreta
- Teoria de Números
- Combinatória Enumerativa
- Algebra Abstrata
- Teoria de Grupos
- Teoria Axiomática de Conjuntos
- Teoria de Ordem
(Escritas em português do Brasil de Θάνος.)
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
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
- Introduções
- Demonstrações
- Os inteiros
- Recursão; indução
- Combinatória enumerativa
- Os reais
- Coleções
- Funcções
- Relações
- Teoria dos grupos
- Estruturas algébricas
- O paraíso de Cantor
- Posets; reticulados
- Teoria das categorias
- Teoria axiomática dos conjuntos
- Espaços métricos
- Topologia geral
- Teoria dos tipos
- Lambdas e combinadores
- Semântica denotacional
- Teasers