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

FMC1-IRI, 2022-10-31: Recursão e Indução: Nat, Bool, Unit, Empty, ListNat (8)

thanosmath
960 subscribers
<__slot-el>
<__slot-el>
81 views 2 years ago FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE
Fundamentos matemáticos para computação 1 (FMC1) Introdução à recursão e à indução (IRI) Semestre 2022.2 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc1/2022.2 Recursão, Indução: Nat, Bool, Weekday, Unit, Empty, ListNat [00:00:00] bom dia / recap [00:00:31] * implementar booleanos em termos de naturais [00:03:55] * type synonym [00:04:33] * isBool : Nat → "Bool" [00:06:06] O que acontece em linguagem que autoafirmam ter «tipos dinâmicos» [00:06:36] hw: int, parzinhos-de-nat, vetores-de-nat: o que são? [00:09:54] Um novo tipo Bool [00:11:08] Corretude de definição de função (programa): correção e completude [00:19:40] Weekday [00:21:45] Unit e void [00:47:04] Indução do Nat e quando não usar [00:59:58] Q: faz sentido adicionar como açúcar sintáctico para o lem n m assumir papel de Prop? A: Não. [01:01:14] (cont.) [01:03:25] ListNat: idéia, construtores (Empty, Cons), sintaxe, açúcar e associatividade …...more
...more

bom dia / recap

0:00

implementar booleanos em termos de naturais

0:31

type synonym

3:55

isBool : Nat → "Bool"

4:33

O que acontece em linguagem que autoafirmam ter «tipos dinâmicos»

6:06

hw: int, parzinhos-de-nat, vetores-de-nat: o que são?

6:36

Um novo tipo Bool

9:54

Corretude de definição de função (programa): correção e completude

11:08

Weekday

19:40

Unit e void

21:45

Indução do Nat e quando não usar

47:04

Q: faz sentido adicionar como açúcar sintáctico para o lem n m assumir papel de Prop? A: Não.

59:58

cont.

1:01:14

ListNat: idéia, construtores (Empty, Cons), sintaxe, açúcar e associatividade sintáctica

1:03:25

Como escolher a ordem dos argumentos: aplicação parcial e currificação

1:16:40

ListNat é um tipo recursivo

1:22:30

Q: Listas de listas de naturais? A: ainda não; por enquanto só ListNat

1:23:51

Como representar a lista [2,0,8] com nosso tipo?

1:24:28

Q: o que acontece com namespaces e nomes de construtores?

1:34:22

definindo a length : ListNat → Nat

1:36:48

Calculando o length [3,2,0]

1:47:13

Plicker: quantos construtores preciso para definir o tipo Int?

1:49:44
FMC1-IRI, 2022-10-31: Recursão e Indução: Nat, Bool, Unit, Empty, ListNat (8)
2Likes
81Views
2022Nov 1
Fundamentos matemáticos para computação 1 (FMC1) Introdução à recursão e à indução (IRI) Semestre 2022.2 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc1/2022.2 Recursão, Indução: Nat, Bool, Weekday, Unit, Empty, ListNat [00:00:00] bom dia / recap [00:00:31] * implementar booleanos em termos de naturais [00:03:55] * type synonym [00:04:33] * isBool : Nat → "Bool" [00:06:06] O que acontece em linguagem que autoafirmam ter «tipos dinâmicos» [00:06:36] hw: int, parzinhos-de-nat, vetores-de-nat: o que são? [00:09:54] Um novo tipo Bool [00:11:08] Corretude de definição de função (programa): correção e completude [00:19:40] Weekday [00:21:45] Unit e void [00:47:04] Indução do Nat e quando não usar [00:59:58] Q: faz sentido adicionar como açúcar sintáctico para o lem n m assumir papel de Prop? A: Não. [01:01:14] (cont.) [01:03:25] ListNat: idéia, construtores (Empty, Cons), sintaxe, açúcar e associatividade sintáctica [01:16:40] Como escolher a ordem dos argumentos: aplicação parcial e currificação [01:22:30] ListNat é um tipo recursivo [01:23:51] Q: Listas de listas de naturais? A: ainda não; por enquanto só ListNat [01:24:28] Como representar a lista [2,0,8] com nosso tipo? [01:34:22] Q: o que acontece com namespaces e nomes de construtores? [01:36:48] definindo a length : ListNat → Nat [01:47:13] Calculando o length [3,2,0] [01:49:44] Plicker: quantos construtores preciso para definir o tipo Int?

Follow along using the transcript.

thanosmath

960 subscribers

FMC1 2022.2 Fundamentos Matemáticos para Computação 1
1

FMC1-Intro, 2022-08-22: Introdução à Linguagem de Demonstrações (1) [bad audio]

thanosmath
2

FMC1-Intro, 2022-08-24: Introdução à Linguagem de Demonstrações (2) [VERY bad audio]

thanosmath
3

FMC1-Intro, 2022-08-26: Introdução à Linguagem de Demonstrações (3)

thanosmath
4

FMC1-Intro, 2022-08-29: Introdução à Linguagem de Demonstrações (4)

thanosmath
5

FMC1-Intro-IDMa, 2022-09-02: Introdução à Linguagem de Demonstrações (5); Os inteiros (1)

thanosmath
6

FMC1-IDMa, 2022-09-05: Os inteiros (2) [bad audio]

thanosmath
7

FMC1-IDMa, 2022-09-09: Os inteiros (3) [bad audio]

thanosmath
8

FMC1-IDMa, 2022-09-12: Os inteiros (4)

thanosmath
9

FMC1-IDMa, 2022-09-14: Os inteiros (5)

thanosmath
10

FMC1-IDMa, 2022-09-16: Os inteiros (6)

thanosmath
11

FMC1-IDMa, 2022-09-19: Os inteiros (7)

thanosmath
12

FMC1-IDMa, 2022-09-21: Os inteiros (8)

thanosmath
13

FMC1-IDMa, 2022-09-23: Os inteiros (9)

thanosmath
14

FMC1-IDMa, 2022-09-26: Os inteiros (10)

thanosmath
15

FMC1-IDMa, 2022-09-28: Os inteiros (11)

thanosmath
16

FMC1-IDMa, 2022-09-30: Os inteiros (12)

thanosmath
17

FMC1-IDMa, 2022-10-05: Os inteiros (13)

thanosmath
18

FMC1-IDMa, 2022-10-07: Os inteiros (14) [no audio]

thanosmath
19

FMC1-IRI, 2022-10-10: Recursão e Indução: Nat (1)

thanosmath
20

FMC1-IRI, 2022-10-14: Recursão e Indução: Nat (2)

thanosmath
21

FMC1-IRI, 2022-10-15: Recursão e Indução: Nat (3,4)

thanosmath
22

FMC1-IDMa, 2022-10-17: Os inteiros (15)

thanosmath
23

FMC1-IRI, 2022-10-19: Recursão e Indução: Nat (5)

thanosmath
24

FMC1-IDMa, 2022-10-21: Os inteiros (16)

thanosmath
25

FMC1-IDMa, 2022-10-24: Os inteiros (17)

thanosmath
26

FMC1-IDMa, 2022-10-26: Os inteiros (18) [bad vídeo]

thanosmath
27

FMC1-IRI, 2022-10-27: Recursão e Indução: Nat (6,7)

thanosmath
▶

FMC1-IRI, 2022-10-31: Recursão e Indução: Nat, Bool, Unit, Empty, ListNat (8)

thanosmath
29

FMC1-IRI, 2022-11-04: Recursão e Indução: Nat, Bool, Unit, Empty, ListNat (9)

thanosmath
30

FMC1-IDMb, 2022-11-05: Os reais (1,2)

thanosmath
31

FMC1-IRI, 2022-11-07: Recursão e Indução: Nat, Bool, Unit, Empty, List, Polimorfismo (10a)

thanosmath
32

FMC1-IRI, 2022-11-09: Recursão e Indução: Nat, List, Maybe, Polimorfismo (10b, 11) [BAD recording]

thanosmath
33

FMC1-IDMb, 2022-11-11: Os reais (3,4)

thanosmath
34

FMC1-IDMb, 2022-11-16: Os reais (5,6)

thanosmath
35

FMC1-IRI, 2022-11-18: Recursão e Indução: List, Maybe, Either, Int, Functors, Composição (12,13)

thanosmath
36

FMC1-IDMb, 2022-11-23: Os reais (7,8)

thanosmath
37

FMC1-IRI, 2022-11-25: Recursão e Indução: List, Maybe, Either, Int, Functors, Composição (14)

thanosmath
38

FMC1-IDMb, 2022-11-28: Os reais (9)

thanosmath
39

FMC1-IDMb, 2022-11-30: Os reais (10,11)

thanosmath
40

FMC1-IRI, 2022-12-03: Eficiência, Ordenação, Fold, Arvores, ASTs (15,16)

thanosmath
41

FMC1-IDMb, 2022-12-12: Os reais (12,13)

thanosmath
42

FMC1-IDMb, 2022-12-14: Os reais (14,15)

thanosmath
43

FMC1-IDMb, 2022-12-15: Os reais (16,17)

thanosmath