Sign in to confirm you’re not a bot
This helps protect our community. Learn more

FMC2, 2023-07-17: CFR2 (2.17) & IEA (19): Reticulados

thanosmath
960 subscribers
<__slot-el>
<__slot-el>
167 views 1 year ago FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE
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 ...more
...more
FMC2, 2023-07-17: CFR2 (2.17) & IEA (19): Reticulados
4Likes
167Views
2023Jul 17
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

Follow along using the transcript.

thanosmath

960 subscribers

FMC2-IEA (2023.1): Introdução a Estruturas Algébricas
1

FMC2, 2023-03-08: Intro, prés, e meta

thanosmath
2

FMC2-IEA, 2023-03-10: Introdução

thanosmath
3

FMC2-IEA, 2023-03-31: (2) Grupos

thanosmath
4

FMC2-IEA, 2023-04-05: (3) Grupos

thanosmath
5

FMC2-IEA, 2023-04-26: (4) Grupos

thanosmath
6

FMC2-IEA, 2023-04-28: (5) Grupos

thanosmath
7

FMC2-IEA, 2023-05-05: (6) Grupos

thanosmath
8

FMC2-IEA, 2023-05-08: (7) Grupos [NO AUDIO for 53m38s]

thanosmath
9

FMC2-IEA, 2023-05-10: (8) Grupos

thanosmath
10

FMC2-IEA, 2023-05-19: (9) Grupos

thanosmath
11

FMC2-IEA, 2023-05-22: (10) Grupos

thanosmath
12

FMC2-IEA, 2023-05-24: (11) Grupos

thanosmath
13

FMC2-IEA, 2023-05-29: (12) Grupos

thanosmath
14

FMC2-IEA, 2023-06-07: (13) Estruturas Algébricas

thanosmath
15

BabyCats, 2023-06-14: CFR2 (2.4) & IEA (14): Teoria das Categorias (1/3)

thanosmath
16

BabyCats, 2023-06-16: CFR2 (2.5) & IEA (15): Teoria das Categorias (2/3)

thanosmath
17

BabyCats, 2023-06-19: CFR2 (2.6) & IEA (16): Teoria das Categorias (3/3)

thanosmath
18

FMC2-IEA, 2023-06-30: (17) Estruturas Algébricas e mais

thanosmath
19

FMC2-IEA, 2023-07-03: (18) Estruturas Algébricas

thanosmath
▶

FMC2, 2023-07-17: CFR2 (2.17) & IEA (19): Reticulados

thanosmath
21

FMC2-IEA, 2023-07-19: (20) Estruturas Algébricas; Livre e livremente gerado

thanosmath