FMC2, 2023-07-17: CFR2 (2.17) & IEA (19): Reticulados
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
De posets para reticulados
[00:00:00] Bom dia
[00:00:17] recap: joins e meets
[00:18:02] joins e meets binários
[00:25:48] Reticulados como posets
[00:49:41] Reticulados como algebras
[01:10:08] Misturando algebra e ordem em demonstrações
[01:35:20] Q: sobre prosets
[01:36:24] Reticulados cotados
[01:38:45] Reticulados booleanos (álgebras booleanas) e aneis booleanos