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

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

thanosmath
1K subscribers
115 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] Bom dia [00:00:37] De operacões binárias para operações generalizadas [00:19:23] * definições recursivas de operações [00:28:47] Dúvidas [00:33:30] Somatórios sem órdem/agrupamento especificados Funções [00:49:05] Funções: black box, descrição, especificação, igualdade, notação [01:11:00] Q: sobre funções parciais [01:15:30] Espaço de funçoẽs (A→B) ou Bᴬ [01:17:14] Vazio como domínio ou codomínio [01:24:02] Tipo vazio e tipo unit: discussão sobre o mentiroso void [01:35:35] Definindo funções com buracos [01:43:01] Plicker: estimei bem minhas notas? ...more
...more

Bom dia

0:00

De operacões binárias para operações generalizadas

0:37

definições recursivas de operações

19:23

Dúvidas

28:47

Somatórios sem órdem/agrupamento especificados

33:30

Funções: black box, descrição, especificação, igualdade, notação

49:05

Q: sobre funções parciais

1:11:00

Espaço de funçoẽs (A→B) ou Bᴬ

1:15:30

Vazio como domínio ou codomínio

1:17:14

Tipo vazio e tipo unit: discussão sobre o mentiroso void

1:24:02

Definindo funções com buracos

1:35:35

Plicker: estimei bem minhas notas?

1:43:01
FMC2-CFR1, 2023-04-17: (1.6) Coleçôes; Funções
5Likes
115Views
2023Apr 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 Coleções [00:00:00] Bom dia [00:00:37] De operacões binárias para operações generalizadas [00:19:23] * definições recursivas de operações [00:28:47] Dúvidas [00:33:30] Somatórios sem órdem/agrupamento especificados Funções [00:49:05] Funções: black box, descrição, especificação, igualdade, notação [01:11:00] Q: sobre funções parciais [01:15:30] Espaço de funçoẽs (A→B) ou Bᴬ [01:17:14] Vazio como domínio ou codomínio [01:24:02] Tipo vazio e tipo unit: discussão sobre o mentiroso void [01:35:35] Definindo funções com buracos [01:43:01] Plicker: estimei bem minhas notas?

Follow along using the transcript.

thanosmath

1K subscribers

FMC2-CFR (2023.1): Conjuntos, Funções, Relações
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
6

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

thanosmath
▶

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