FMC2-IEA, 2023-06-30: (17) Estruturas Algébricas e mais
Fundamentos matemáticos para computação 2 (FMC2)
Introdução a Estruturas Algébricas (IEA)
Semestre 2023.1
Thanos Tsouanas
IMD, UFRN, BR
http://tsouanas.org/fmcbook
http://tsouanas.org/teaching/fmc2/2023.1
Estruturas Algébricas e mais
[00:00:00] Bom dia / meta
[00:00:48] Recap: Noether, kernel, normal
[00:06:35] Recap: estruturas e axiomatizações usando apenas equações
[00:11:11] Ring, Rig, Rng, Distributividade (binária e nulária)
[00:27:34] Domínios de integridade e de cancelamento
[00:32:51] Corpos
[00:37:14] Corpos ordenados
[00:42:19] Corpos ordenados completos
[00:52:50] A unicidade do corpo ordenado completo (esboço)
[01:04:29] Q: outras estruturas? Reticulados, álgebras booleanas, …