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

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

thanosmath
979 subscribers
144 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 Coleções [00:00:00] B̶o̶a̶ ̶n̶o̶i̶t̶e̶ Bom dia / recap [00:09:18] Conjunto indexado por I [00:14:30] Família indexada por I (I-tupla) [00:42:30] família indexada vs conjunto indexado [00:53:35] Como solicitar um membro arbitrário dum conjunto indexado [01:03:14] Usando um produto I×J como conjunto de índices [01:04:08] Seqüências [01:07:50] Famílias indexadas para implementar outros tipos [01:15:02] 2-tuplas como conjuntos e um roubo "definindo" funções [01:31:47] produto generalizado (de famílias indexadas) [01:43:51] * nível-coração: escolhedores [01:46:50] Plicker: prontos pra provas? ...more
...more

B̶o̶a̶ ̶n̶o̶i̶t̶e̶ Bom dia / recap

0:00

Conjunto indexado por I

9:18

Família indexada por I (I-tupla)

14:30

família indexada vs conjunto indexado

42:30

Como solicitar um membro arbitrário dum conjunto indexado

53:35

Usando um produto I×J como conjunto de índices

1:03:14

Seqüências

1:04:08

Famílias indexadas para implementar outros tipos

1:07:50

2-tuplas como conjuntos e um roubo "definindo" funções

1:15:02

produto generalizado (de famílias indexadas)

1:31:47

nível-coração: escolhedores

1:43:51

Plicker: prontos pra provas?

1:46:50
FMC2-CFR1, 2023-04-12: (1.5) Coleçôes
4Likes
144Views
2023Apr 12
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 Coleções [00:00:00] B̶o̶a̶ ̶n̶o̶i̶t̶e̶ Bom dia / recap [00:09:18] Conjunto indexado por I [00:14:30] Família indexada por I (I-tupla) [00:42:30] família indexada vs conjunto indexado [00:53:35] Como solicitar um membro arbitrário dum conjunto indexado [01:03:14] Usando um produto I×J como conjunto de índices [01:04:08] Seqüências [01:07:50] Famílias indexadas para implementar outros tipos [01:15:02] 2-tuplas como conjuntos e um roubo "definindo" funções [01:31:47] produto generalizado (de famílias indexadas) [01:43:51] * nível-coração: escolhedores [01:46:50] Plicker: prontos pra provas?

Follow along using the transcript.

thanosmath

979 subscribers
1

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

thanosmath
2

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

thanosmath
3

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
▶

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