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

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

thanosmath
960 subscribers
<__slot-el>
<__slot-el>
86 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 Funções [00:00:00] Bom dia / recap [00:00:20] * λ, β, η, α [00:04:16] η-conversão [00:11:58] Q: podemos identificar a λu.5 com o 5? [00:15:24] Como interpretar uma função aplicada nela mesmo [00:27:14] Manifestações dos β,η para outros tipos [00:37:18] função-imagem [00:59:28] função-pré-imagem [01:24:51] Composição [01:44:56] Plicker: a função-imagem respeita uniões e interseções? ...more
...more
FMC2-CFR1, 2023-05-03: (1.10) Funções
2Likes
86Views
2023May 3
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 Funções [00:00:00] Bom dia / recap [00:00:20] * λ, β, η, α [00:04:16] η-conversão [00:11:58] Q: podemos identificar a λu.5 com o 5? [00:15:24] Como interpretar uma função aplicada nela mesmo [00:27:14] Manifestações dos β,η para outros tipos [00:37:18] função-imagem [00:59:28] função-pré-imagem [01:24:51] Composição [01:44:56] Plicker: a função-imagem respeita uniões e interseções?

Follow along using the transcript.

thanosmath

960 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
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
▶

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