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

FMC2-CFR1, 2023-03-29: Conjuntos (1.2)

thanosmath
959 subscribers
<__slot-el>
<__slot-el>
174 views 2 years 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 Conjuntos [00:00:00] Bom dia! [00:04:26] Umas operações entre conjuntos [00:19:53] Complemento relativo [00:23:38] Comutatividade de operações [00:28:44] Diferença simétrica [00:29:02] Parseamento e precedência sintáctica [00:31:00] Diferença simétrica (2) [00:35:13] Os habitantes duma diferença simétrica [00:42:38] Complemento de conjunto [00:43:43] Powerset [00:51:55] Empty, Singleton, Universal, Inhabited [00:56:12] Sobre o ℘ [00:57:18] LEM e dupla negação [01:00:33] conjuntos finitos e o powerset-finito [01:03:30] união grande [01:21:26] interseção grande [01:23:48] sem medo [01:34:46] versões de set builder ...more
...more

Bom dia!

0:00

Umas operações entre conjuntos

4:26

Complemento relativo

19:53

Comutatividade de operações

23:38

Diferença simétrica

28:44

Parseamento e precedência sintáctica

29:02

Diferença simétrica (2)

31:00

Os habitantes duma diferença simétrica

35:13

Complemento de conjunto

42:38

Powerset

43:43

Empty, Singleton, Universal, Inhabited

51:55

Sobre o

56:12

LEM e dupla negação

57:18

conjuntos finitos e o powerset-finito

1:00:33

união grande

1:03:30

interseção grande

1:21:26

sem medo

1:23:48

versões de set builder

1:34:46
FMC2-CFR1, 2023-03-29: Conjuntos (1.2)
5Likes
174Views
2023Mar 29
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 Conjuntos [00:00:00] Bom dia! [00:04:26] Umas operações entre conjuntos [00:19:53] Complemento relativo [00:23:38] Comutatividade de operações [00:28:44] Diferença simétrica [00:29:02] Parseamento e precedência sintáctica [00:31:00] Diferença simétrica (2) [00:35:13] Os habitantes duma diferença simétrica [00:42:38] Complemento de conjunto [00:43:43] Powerset [00:51:55] Empty, Singleton, Universal, Inhabited [00:56:12] Sobre o ℘ [00:57:18] LEM e dupla negação [01:00:33] conjuntos finitos e o powerset-finito [01:03:30] união grande [01:21:26] interseção grande [01:23:48] sem medo [01:34:46] versões de set builder

Follow along using the transcript.

thanosmath

959 subscribers
1

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

thanosmath
2

FMC2-CFR1, 2023-03-13: Conjuntos (1.1)

thanosmath
▶

FMC2-CFR1, 2023-03-29: Conjuntos (1.2)

thanosmath
4

FMC2-CFR1, 2023-04-03: (1.3) Conjuntos; Tuplas

thanosmath
5

FMC2-CFR1, 2023-04-10: (1.4) Coleçôes

thanosmath
6

FMC2-CFR1, 2023-04-12: (1.5) Coleçôes

thanosmath
7

FMC2-CFR1, 2023-04-17: (1.6) Coleçôes; Funções

thanosmath
8

FMC2-CFR1, 2023-04-19: (1.7) Coleçôes; Funções [bad audio]

thanosmath
9

FMC2-CFR1, 2023-04-24: (1.8) Funções

thanosmath
10

FMC2-CFR1, 2023-04-28: (1.9) Funções

thanosmath
11

FMC2-CFR1, 2023-05-03: (1.10) Funções

thanosmath
12

FMC2-CFR1, 2023-05-08: (1.11) Funções

thanosmath
13

FMC2-CFR1, 2023-05-10: (1.12) Funções

thanosmath
14

FMC2-CFR1, 2023-05-12: (1.13) Funções

thanosmath
15

FMC2-CFR1, 2023-05-15: (1.14) Funções

thanosmath
16

FMC2-CFR1, 2023-05-17: (1.15) Funções

thanosmath
17

FMC2-CFR2, 2023-05-31: (2.1) Funções [missing final minutes]

thanosmath
18

FMC2-CFR2, 2023-06-02: (2.2) Funções

thanosmath
19

FMC2-CFR2, 2023-06-12: (2.3) Cantor

thanosmath
20

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

thanosmath
21

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

thanosmath
22

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

thanosmath
23

FMC2-CFR2, 2023-06-21: (2.7) Cantor

thanosmath
24

FMC2-CFR2, 2023-06-23: (2.8) Cantor

thanosmath
25

FMC2-CFR2, 2023-06-26: (2.9) Cantor; Relações

thanosmath
26

FMC2-CFR2, 2023-06-28: (2.10) Relações; Russell; Zermelo

thanosmath
27

FMC2-CFR2, 2023-06-30: (2.11) Computabilidade

thanosmath
28

FMC2-CFR2, 2023-07-03: (2.12) Medidas; Cantor

thanosmath
29

FMC2-CFR2, 2023-07-07: (2.13) ZF

thanosmath
30

FMC2-CFR2, 2023-07-10: (2.14) ZF; Ordens

thanosmath
31

FMC2-CFR2, 2023-07-12: (2.15) ZF

thanosmath
32

FMC2-CFR2, 2023-07-14: (2.16) ZF; Ordens

thanosmath
33

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

thanosmath