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 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 (835 pages): 2022-05-23, 14:20 -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--2021}, note={Work in progress}, publisher={\url{http://www.tsouanas.org/fmcbook}}, address={Universidade Federal do Rio Grande do Norte}, }
Chapters
- Introduções
- Linguagens
- Demonstrações
- Os inteiros
- Naturais; recursão; indução
- Os reais
- Combinatória enumerativa
- Conjuntos
- Funcções
- Programação funccional
- Relações
- Programação lógica
- Teoria dos grupos
- Estruturas algébricas
- O paraíso de Cantor
- Teoria axiomática dos conjuntos
- Posets; Reticulados
- Wosets; Ordinais
- Semântica denotacional
- Espaços métricos
- Topologia geral
- Teoria das categorias
- Teoria dos grafos
- Álgebra universal
- Lambda calculus
- Lógica combinatória
- Lógica matemática
- Computabilidade e complexidade
- Teoria de funcções recursivas
- Linguagens formais
- Lógica intuicionista
- Teoria das provas
- Lógica linear
- Teoria dos tipos