FMC2-CFR2, 2023-06-26: (2.9) Cantor; Relações
Fundamentos matemáticos para computação 2 (FMC2)
Conjuntos, Funções, Relações 2023.1
Thanos Tsouanas
IMD, UFRN, BR
http://tsouanas.org/fmcbook
http://tsouanas.org/teaching/fmc2/2023.1
Cantor; Relações
[00:00:00] Bom dia
[00:00:38] O conjunto de Cantor
[00:05:43] * comparando intervalos sem e com CBS
[00:15:53] O conjunto de Cantor (cont')
[00:31:15] Numeros transfinitos: cardinais e ordinais; alephs (ℵ) e beths (ℶ)
[00:48:01] Relações
[00:58:06] Composição de relações
[01:08:12] Usando relações para implementar funções
[01:20:22] Q: A composição de relações é associativa?
[01:25:17] Adjectivos (propriedades) sobre relações; préordens; relações de equivalência; ordens
[01:29:05] Partições e relações de equivalência
[01:35:21] Mais adjectivos
[01:39:40] Diagramas internos de relações binárias
[01:43:11] Teaser sobre fechos de relações a partir de propriedades
[01:49:51] Fechos: a ordem de aplicá-los importa?